Cristina David Cristian Gherghina Wei-Ngan Chin Translation and optimization for a core calculus with exceptions. 41-50 2009 PEPM http://doi.acm.org/10.1145/1480945.1480952 conf/pepm/2009 db/conf/pepm/pepm2009.html#DavidGC09