(2021) Graded Modal Dependent Type Theory

• [[Benjamin Moon]]
• [[Harley Eades III]]
• [[Dominic Orchard]]

• #functional-programming
• #linear-types