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.
| Original language | English |
|---|---|
| Pages (from-to) | 39-55 |
| Number of pages | 17 |
| Journal | LISP and Symbolic Computation |
| Volume | 7 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1994 |