Translation and optimization for a core calculus with exceptions.

Cristina David, Cristian Gherghina, Wei-Ngan Chin

Browse the full PEPM paper archive.