Monads and composable continuations (1994)

by Philip Wadler
Venue:LISP and Symbolic Computation