|Version 1 (modified by ross@…, 11 years ago) (diff)|
Exceptions may be thrown by pure code and caught in the IO monad.
- 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