A semantics for imprecise exceptions (1999)

by Simon Peyton Jones, Alastair Reid, Fergus Henderson, Tony Hoare, Simon Marlow
Venue:In Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, PLDI ’99