University of Cambridge


Varieties of Effects

By Carsten Fuhrmann (Department of Computer Science, University of Bath).

I will introduce the notion of "effectoid" as a way of axiomatising the notion of computational effect. Guided by classical algebra, I will define several effectoids equationally and explore their relationship with each other. To demonstrate their computational relevance, I will by apply them to global exceptions, partiality, continuations, and global state.