Type-Based Analysis of Uncaught Exceptions.

Franois Pessaux, Xavier Leroy

Browse the full POPL paper archive.