Declarative Continuations and Monads. unpublished draft (1991)

by Boris Agapiev, Eugenio Moggi