(2022) Linearity and Uniqueness; An Entente Cordiale

• [[Danielle Marshall]]
• [[Michael Vollmer]]
• [[Dominic Orchard]]

• #functional-programming
• #linear-types