(2019) Quantitative Program Reasoning with Graded Modal Types

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

• #functional-programming
• #linear-types