A Semantics for Imprecise Exceptions (1999)

by Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson
Venue:In SIGPLAN Conference on Programming Language Design and Implementation