Graded Modal Dependent Type Theory. - Benjamin Moon; Harley Eades III; Dominic Orchard (ESOP, 2021)