Algebraic effects and handlers

English

Séminaire Modèles et Algorithmes Déterministes: CASYS

10/12/2015 - 09:30 Mr Andrej Bauer (University of Ljubljana) Salle 1 - Tour IRMA

In the talk we shall start with familiar notions from universal algebra and modify them in inessential ways to arrive at an algebraic model of computational effects. We shall see that such a model is the basis for a programming language with first-class computational effects and handlers, and even an effect system which describes which computational effects may happen in a program.

(joint work with Matija Pretnar, University of Ljubljana)