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

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.