Nick Benton Peter Buchlovsky Semantics of an effect analysis for exceptions. 15-26 2007 conf/tldi/2007 TLDI http://doi.acm.org/10.1145/1190315.1190320 db/conf/tldi/tldi2007.html#BentonB07