Monads and composable continuations

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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 languageEnglish
Pages (from-to)39-55
Number of pages17
JournalLISP and Symbolic Computation
Volume7
Issue number1
DOIs
Publication statusPublished - 1994

Fingerprint

Dive into the research topics of 'Monads and composable continuations'. Together they form a unique fingerprint.

Cite this