Dominic Orchard

Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types

Graded types provide a way to augment a type system with fine-grained information, e.g., to track side effects or context dependence and resource use (called coeffects ). Graded types for coeffects have found their way into languages such as Haskell, Idris, and Granule, enabling...