Graded Modal Dependent Type Theory

Benjamin Moon, Harley Eades, Dominic Orchard

Graded type theories are an emerging paradigm for augmenting the reasoning power of types with parameterizable, fine-grained analyses of program properties. There have been many su…