Programming with algebraic effects and handlers is a novel technique of
representing computational effects such as exceptions, mutable state, or
nondeterminism, in a modular way, making it possible to program against an
interface, and with a number of different effects simultaneously, which is
where the more traditional monadic approach often falls short. Effects and
their handlers are rapidly making their way into practical programming, in the
form of dedicated languages (e.g., Eff and Koka), extensions of existing
languages (e.g., OCaml) and libraries.
In this seminar we are going to read a collection of recent research papers on
algebraic effects, identify future research directions in this area and
discuss the design and implementation of a prototypical programming language
supporting algebraic effects, implemented lately by Piotr Polesiuk, a PhD
student at our Institute.
**Literatura:**
1. Andrej Bauer and Matija Pretnar. An effect system for algebraic effects and handlers _._ LMCS, 2014.
2. Andrej Bauer and Matija Pretnar. Programming with algebraic effects and handlers. Journal of Logic and Algebraic Methods in Programming, 2015.
3. Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, and Filip Sieczkowski. Handle with Care: Relational Interpretation of Algebraic Effects and Handlers. POPL, 2018 _._
4. Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar. On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. ICFP, 2017.
5. Daniel Hillerström and Sam Lindley. Liberating effects with rows and handlers. TyDe@ICFP, 2016.
6. Daniel Hillerström, Sam Lindley, Robert Atkey, and K. C. Sivaramakrishnan. Continuation passing style for effect handlers. FSCD, 2017.
7. Ohad Kammar, Sam Lindley, and Nicolas Oury. Handlers in action. ICFP, 2013.
8. Oleg Kiselyov and Kc Sivaramakrishnan. 2016. Eff directly in OCaml. Workshop on ML, 2016.
9. Daan Leijen. Type directed compilation of row-typed algebraic effects. POPL, 2017.
10. Sam Lindley, Conor McBride, and Craig McLaughlin. Do be do be do. POPL, 2017.
11. Matija Pretnar. An introduction to algebraic effects and handlers. Invited tutorial paper. MFPS, 2015.
12. Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers. Explicit Effect Subtyping. ESOP, 2018.