Graded Modal Dependent Type Theory.

Benjamin Moon, Harley Eades III, Dominic Orchard

Browse the full ESOP paper archive.