An Introduction to Algebraic Effects and Handlers
Resource history | v1 (current) | created by jjones
Details
An Introduction to Algebraic Effects and Handlers
see v1 | created by jjones | Add resource "An Introduction to Algebraic Effects and Handlers"
- Title
- An Introduction to Algebraic Effects and Handlers
- Type
- Paper
- Created
- 2015-12
- Description
- This paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic effects are, give ample examples to explain how handlers work, define an operational semantics and a type & effect system, show how one can reason about effects, and give pointers for further reading.
- Link
- https://www.eff-lang.org/handlers-tutorial.pdf
- Identifier
- http://dx.doi.org/10.1016/j.entcs.2015.12.003
authors
This resource has no history of related authors.
topics
about Algebraic effects
resources
This resource has no history of related resources.