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

Datum objave: 12. 12. 2016
Seminar za temelje matematike in teoretično računalništvo
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.