Type-based analysis of uncaught exceptions (2000)

by F Pessaux, X Leroy
Venue:ACM Transactions on Programming Languages and Systems