(2025) On Graded Coeffect Types for Information-Flow Control

• Vilem-Benjamin Liepelt
• Danielle Marshall
• Dominic Orchard
• Vineet Rajani
• Michael Vollmer

• #functional-programming
• #linear-types