![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
http://homepages.inf.ed.ac.uk/gdp/publications/comb_cont_journal.pdf
Combining algebraic effects with continuations
We consider the natural combinations of algebraic computational effects such as side-effects, exceptions, interactive input/output, and nondeterminism with continuations. ( Read more... )To do all this, we use Dubuc’s characterisation of strong monads in terms of enriched large Lawvere theories.
Combining algebraic effects with continuations
We consider the natural combinations of algebraic computational effects such as side-effects, exceptions, interactive input/output, and nondeterminism with continuations. ( Read more... )To do all this, we use Dubuc’s characterisation of strong monads in terms of enriched large Lawvere theories.
