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

Vilem Liepelt, Danielle Marshall, Dominic Orchard

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 typ…