LISP and Symbolic Computation, 7(1)39-56
Monads and Composable ContinuationsPhilip Wadler, Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland
|
Abstract: Moggi's use of monads to factor semantics is used to
model the composable continuations of Danvy and Filinski. This yields
some insights into the type systems proposed by Murthy and by Danvy
and Filinski. Interestingly, modelling some aspects of composable
continuations requires a structure that is almost, but not quite, a
monad. Keywords: monads, continuations, continuation-passing style, types |
[local copy]
![[picture of journal cover]](../LISP.JPG)