On Graded Coeffect Types for Information-Flow Control

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
January 2026
Cite DOI URL
Type
Book section