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

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

• #functional-programming
• #linear-types