Algebraic effects and handlers
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)