Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | WGP 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Generic Programming |
| Publisher | Association for Computing Machinery |
| Pages | 47-58 |
| Number of pages | 12 |
| ISBN (Print) | 9781450330381 |
| DOIs | |
| Publication status | Published - Aug 2014 |
| Event | 10th ACM SIGPLAN Workshop on Generic Programming 2014 - Gothenburg, Sweden Duration: 31 Aug 2014 → 31 Aug 2014 |
Conference
| Conference | 10th ACM SIGPLAN Workshop on Generic Programming 2014 |
|---|---|
| Abbreviated title | WGP 2014 |
| Country/Territory | Sweden |
| City | Gothenburg |
| Period | 31/08/14 → 31/08/14 |
Keywords
- algebraic effects
- applicative functors
- arrows
- call-by-push-value
- effect handlers
- idioms
- monads
ASJC Scopus subject areas
- Computer Graphics and Computer-Aided Design
- Software