and composable continuations (1994)

by Monads
Venue:Lisp and Symbolic Computation 7