|Version 1 (modified by 11 years ago) (diff),|
Exceptions may be thrown by pure code and caught in the
- A semantics for imprecise exceptions, Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson. PLDI 1999.
- more robust programs
- complicates denotational semantics a little