Andrej Bauer: What is algebraic about algebraic effects and handlers?

Tid: On 2019-02-06 kl 10.00 - 11.45

Föreläsare: Andrej Bauer (University of Ljubljana)

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

Abstract: In this tutorial talk we draw an uninterrupted line of thought between algebra and computational effects. We begin on the mathematical side of things, by reviewing the classic notions of universal algebra: signatures, algebraic theories, and their models. We then generalize and adapt the theory so that it applies to computational effects. In the last step we replace traditional mathematical notation with one that is closer to programming languages.