Programming with algebraic effects and handlers

@article{Bauer2015ProgrammingWA,
  title={Programming with algebraic effects and handlers},
  author={Andrej Bauer and Matija Pretnar},
  journal={ArXiv},
  year={2015},
  volume={abs/1203.1539}
}
  • Andrej Bauer, Matija Pretnar
  • Published 2015
  • Computer Science
  • ArXiv
  • Abstract Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and handlers through which we may easily define new computational effects, seamlessly combine existing ones, and handle them in novel ways. We give a denotational semantics of Eff and discuss a prototype implementation based on it. Through examples we… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 139 CITATIONS

    Concurrent System Programming with Effect Handlers

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Type directed compilation of row-typed algebraic effects

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    An Effect System for Algebraic Effects and Handlers

    VIEW 3 EXCERPTS
    CITES BACKGROUND

    Abstracting algebraic effects

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    Liberating effects with rows and handlers

    VIEW 10 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    JEff: objects for effect

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Handlers in action

    VIEW 4 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2013
    2020

    CITATION STATISTICS

    • 25 Highly Influenced Citations

    • Averaged 19 Citations per year from 2018 through 2020

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 41 REFERENCES

    Handlers of Algebraic Effects

    VIEW 1 EXCERPT

    Monads and Effects

    VIEW 1 EXCERPT

    Combining algebraic effects with continuations

    VIEW 1 EXCERPT

    A Logic for Algebraic Effects

    A Theory of Type Polymorphism in Programming

    VIEW 1 EXCERPT

    Monads for Functional Programming

    • Philip Wadler
    • Computer Science, Mathematics
    • Advanced Functional Programming
    • 1995
    VIEW 1 EXCERPT

    Simple imperative polymorphism

    VIEW 1 EXCERPT

    A New Approach to Abstract Syntax with Variable Binding

    VIEW 1 EXCERPT