(2021) Deriving Distributive Laws for Graded Linear Types

• [[Jack Hughes]]
• [[Michael Vollmer]]
• [[Dominic Orchard]]

• #functional-programming
• #linear-types