Projects per year
Plotkin and Power's algebraic effects combined with Plotkin and Pretnar's effect handlers provide a foundation for modular programming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful computations corresponding to McBride and Paterson's idioms and Hughes' arrows.
- algebraic effects, applicative functors, arrows, call-by-push-value, effect handlers, idioms, monads
FingerprintDive into the research topics of 'Algebraic Effects and Effect Handlers for Idioms and Arrows'. Together they form a unique fingerprint.
- 1 Finished
20/05/13 → 19/11/20