A semantics for imprecise exceptions (1999)

by S Peyton Jones, A Reid, T Hoare, S Marlow, F Henderson
Venue:In Conference on Programming Language Design and Implementation, PLDV99