(2021) Graded Modal Dependent Type Theory

• Benjamin Moon
• Harley Eades III
• Dominic Orchard

• #functional-programming
• #linear-types