Liberating effects with rows and handlers

@inproceedings{Hillerstrm2016LiberatingEW,
  title={Liberating effects with rows and handlers},
  author={Daniel Hillerstr{\"o}m and Sam Lindley},
  booktitle={TyDe@ICFP},
  year={2016}
}
Algebraic effects and effect handlers provide a modular abstraction for effectful programming. They support user-defined effects, as in Haskell, in conjunction with direct-style effectful programming, as in ML. They also present a structured interface to programming with delimited continuations. In order to be modular, it is necessary for an effect type system to support extensible effects. Row polymorphism is a natural abstraction for modelling extensibility at the level of types. In this… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
13 Citations
5 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Theoretical aspects of object-oriented programming

  • D. Rémy
  • chapter Type Inference for Records in Natural…
  • 1994
Highly Influential
9 Excerpts

Nim

  • C. L. Bouton
  • a game with a complete mathematical theory. The…
  • 1901
Highly Influential
6 Excerpts

Effective concurrency through algebraic effects

  • S. Dolan, L. White, K. Sivaramakrishnan, J. Yallop, A. Madhavapeddy
  • OCaml Workshop,
  • 2015
Highly Influential
3 Excerpts

Freer monads

  • O. Kiselyov, H. Ishii
  • more extensible effects. In B. Lippmeier, editor…
  • 2015
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…