Call-by-push-value: a subsuming paradigm (extended abstract (1999)

by P B Levy
Venue:Typed Lambda-Calculi and Applications, Lecture Notes in Computer Science