(2019) Quantitative Program Reasoning with Graded Modal Types

• Dominic Orchard
• Vilem-Benjamin Liepelt
• Harley Eades III

• #functional-programming
• #linear-types