Research

Combining algebraic effects with continuations


Reference:

Hyland, M., Levy, P. B., Plotkin, G. and Power, A., 2007. Combining algebraic effects with continuations. Theoretical Computer Science, 375 (1-3), pp. 20-40.

Related documents:

[img]
Preview
PDF (Power_TCS_2007_375_1-3_20.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1664kB) | Preview

    Official URL:

    http://dx.doi.org/10.1016/j.tcs.2006.12.026

    Abstract

    We consider the natural combinations of algebraic computational effects such as side-effects, 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.

    Details

    Item Type Articles
    CreatorsHyland, M., Levy, P. B., Plotkin, G. and Power, A.
    DOI10.1016/j.tcs.2006.12.026
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementPower_TCS_2007_375_1-3_20.pdf: NOTICE: this is the author’s version of a work that was accepted for publication in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Theoretical Computer Science, Volume 375, Issues 1-3, 2007, DOI 10.1016/j.tcs.2006.12.026
    RefereedYes
    StatusPublished
    ID Code5284

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...