An Introduction to Algebraic Effects and Handlers


Resource history | v1 (current) | created by jjones

Details

An Introduction to Algebraic Effects and Handlers

| 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.

resources

This resource has no history of related resources.