Swierstra, Wouter (2009) A functional specification of effects. PhD thesis, University of Nottingham.
Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.
