Programming with algebraic effects and handlers

@article{Bauer2015ProgrammingWA,
  title={Programming with algebraic effects and handlers},
  author={Andrej Bauer and Matija Pretnar},
  journal={J. Log. Algebraic Methods Program.},
  year={2015},
  volume={84},
  pages={108-123}
}
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 104 CITATIONS

Handling polymorphic algebraic effects

VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Effects and handlers in natural language

VIEW 23 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Runners in action

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS

Algebraic Effect Handlers with Resources and Deep Finalization

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

What is algebraic about algebraic effects and handlers?

VIEW 6 EXCERPTS
CITES BACKGROUND

Structured asynchrony with algebraic effects

VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Eff Directly in OCaml

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Efficient algebraic effect handlers for Prolog

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Liberating effects with rows and handlers

VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2013
2020

CITATION STATISTICS

  • 25 Highly Influenced Citations

  • Averaged 18 Citations per year from 2017 through 2019

References

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

Vouillon.The OCaml system (release 3.12)

  • Xavier Leroy, Damien Doligez, +3 authors Jérôme
  • Documentation and user’s manual . Institut National de Recherche en Informatique et en Autom atique,
  • 2011
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

A new approach to a bstr ct syntax with variable binding.Formal Aspects of Computing

  • Gabbay J. Murdoch, Andrew M. Pitts
  • 2001
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Selection functions, bar recursion and backward induction

Handlers of Algebraic Effects

VIEW 2 EXCERPTS

A Logic for Algebraic Effects

VIEW 2 EXCERPTS

Combining algebraic effects with continuations

VIEW 2 EXCERPTS

Combining effects: Sum and tensor

From Comodels to Coalgebras: State and Arrays

VIEW 2 EXCERPTS

Algebraic Operations and Generic Effects

VIEW 3 EXCERPTS