On Graded Coeffect Types for Information-Flow Control

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
Jan 1, 2026
DOI URL