(2021) Linear Exponentials as Graded Modal Types

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

• #functional-programming
• #linear-types