# Alex Simpson: A generic operational meta-theory for algebraic effects

Date: 12. 12. 2016

Source: Mathematics and theoretical computing seminar

Source: Mathematics and theoretical computing seminar

Torek, 13. 12. 2016, od 12h do 14h, Plemljev seminar, Jadranska 19

I will reprise joint work with Patty Johann (who is currently visiting FMF from Appalachian State University) and Janis Vogtländer (University of Bonn) originally published in 2010. This concerns defining a general theory of operational equivalence for programs with (algebraic) effects. I will recall some of what we did in 2010, and look at possible directions for further exploration.