Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).

Frank Pfenning

Browse the full APLAS paper archive.