Substructural operational semantics and linear destination-passing style (2004)

by F Pfenning
Venue:Lecture Notes in Computer Science