Resourceful Program Synthesis from Graded Linear Types.

Jack Hughes, Dominic Orchard

Browse the full LOPSTR paper archive.