Call-by-push-value: A subsuming paradigm (1999)

by Paul Blain Levy
Venue:In: Typed Lambda Calculi and Applications, Lecture Notes in Computer Science 1581