Add resource "An Introduction to Algebraic Effects and Handlers" Accepted
Changes: 4
-
Add An Introduction to Algebraic Effects and Handlers
- Title
-
- Unchanged
- An Introduction to Algebraic Effects and Handlers
- Type
-
- Unchanged
- Paper
- Created
-
- Unchanged
- 2015-12
- Description
-
- Unchanged
- 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
-
- Unchanged
- https://www.eff-lang.org/handlers-tutorial.pdf
- Identifier
-
- Unchanged
- http://dx.doi.org/10.1016/j.entcs.2015.12.003
Resource | v1 | current (v1) -
Add Algebraic Effects for the Rest of Us
- Title
-
- Unchanged
- Algebraic Effects for the Rest of Us
- Type
-
- Unchanged
- Blog post
- Created
-
- Unchanged
- 2019-07-21
- Description
-
- Unchanged
- Have you heard about algebraic effects?
- Link
-
- Unchanged
- https://overreacted.io/algebraic-effects-for-the-rest-of-us/
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Algebraic effects treated in An Introduction to Algebraic Effects and Handlers
- Current
- treated in
Topic to resource relation | v1 -
Add Algebraic effects treated in Algebraic Effects for the Rest of Us
- Current
- treated in
Topic to resource relation | v1