(2021) Linear Exponentials as Graded Modal Types

• [[Jack Hughes]]
• [[Daniel Marshell]]
• [[James Wood]]
• [[Dominic Orchard]]

• #functional-programming
• #linear-types