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.
|Title of host publication||Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming|
|Place of Publication||New York, NY, USA|
|Number of pages||12|
|Publication status||Published - 2014|
- 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
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20