This seminar is devoted to algebraic effects, a novel technique of representing computational effects in programming languages. The students have an opportunity to read a collection of recent research papers on algebraic effects, try to identify future research directions in this area, and discuss the design and implementation of a prototypical programming language supporting algebraic effects that has recently been developed in our institute.
- Nauczyciel: Dariusz Biernacki