(2021) Resourceful Program Synthesis from Graded Linear Types

• [[Jack Hughes]]
• [[Dominic Orchard]]

• #functional-programming
• #linear-types