An Introduction to Algebraic Effects and Handlers

In this session, we explore algebraic effects and handlers. Upon request, the session will be hosted as a hybrid event.

Material

The material to be read before the meeting is Matija Pretnar, An Introduction to Algebraic Effects and Handlers. Invited tutorial paper, Electronic Notes in Theoretical Computer Science, Volume 319, 2015, Pages 19-35, ISSN 1571-0661, https://doi.org/10.1016/j.entcs.2015.12.003.

Abstract

This paper is a tutorial on algebraic effects and handlers. In it, we explain what algebraic effects are, give ample examples to explain how handlers work, define an operational semantics and a type & effect system, show how one can reason about effects, and give pointers for further reading.

Before joining

Please make sure to be aware of the PLSL format before joining.