A functional specification of effects - Swierstra, Wouter (2009)
This dissertation is about effects and type theory.