Till innehåll på sidan

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

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

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

Medverkande: Andrej Bauer (University of Ljubljana)

Exportera till kalender

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.