Call-by-push-value: Decomposing call-by-value and call-by-name (0)

by P B Levy
Venue:Higher-Order and Symbolic Computation