A Functional/Imperative Synthesis (2004)

by P B Levy, “Call-by-push-value
Venue:Semantic Structures in Computation