Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50