Algebraic effects

Matija Pretnar, University of Edinburgh

Five years ago, Gordon Plotkin and John Power started developing a unified algebraic approach to a large subclass of computational effects. It elegantly describes effects such as exceptions, nondeterminism, global and local state, or input/output, and has some nice properties as well. I will present the ideas behind the approach, the recently developed logic, and the results we got.