Projects per year
Abstract
We consider the natural combinations of algebraic computational effects such as sideeffects, exceptions, interactive input/output, and nondeterminism with continuations. Continuations are not an algebraic effect, but previously developed combinations of algebraic effects given by sum and tensor extend, with effort, to include commonly used combinations of the various algebraic effects with continuations. Continuations also give rise to a third sort of combination, that given by applying the continuations monad transformer to an algebraic effect. We investigate the extent to which sum and tensor extend from algebraic effects to arbitrary monads, and the extent to which Felleisen et al.'s C operator extends from continuations to its combination with algebraic effects. To do all this, we use Dubuc's characterisation of strong monads in terms of enriched large Lawvere theories. (c) 2007 Elsevier B.V. All rights reserved.
Original language  English 

Pages (fromto)  2040 
Number of pages  21 
Journal  Theoretical Computer Science 
Volume  375 
Issue number  13 
DOIs  
Publication status  Published  1 May 2007 
Keywords
 Lawvere theory
 modularity
 monad
 computational effect
Fingerprint
Dive into the research topics of 'Combining algebraic effects with continuations. Festschrift for John Reynolds' 70th birthday'. Together they form a unique fingerprint.Projects
 1 Finished

Semantics of Nondeterminism
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils