Call-by-Push-Value. A Functional/Imperative Synthesis (2004)

by P B Levy