Algebraic effects and handlers

These are the notes and materials for the lectures on algebraic effects and handlers at the Oregon programming languages summer school 2018 (OPLSS).

Each lecture contains a list of problems, which are ordered roughly in the order of difficulty, either in terms of trickiness, the amount of work, or prerequisites. I recommend that you discuss the problems in groups, and pick whichever problems you find interesting.

Lectures

• What is algebraic about algebraic effects and handlers? (lectures 1, 2, and 3)

• Designing a programming language (lecture 3)

• Programming with algebraic effects and handlers (lecture 4)

General resources & reading material

• Effects bibliography
• Effects Rosetta Stone
• Programming language Eff
• Formalized proofs about Eff