Call-by-push-value: Decomposing call-by-value and call-by-name

Paul Blain Levy. Call-by-push-value: Decomposing call-by-value and call-by-name. Higher-Order and Symbolic Computation, 19(4):377-414, 2006. [doi]

Abstract

Abstract is missing.