[Haskell-cafe] Error in the asynchronous exception operational semantics

Edward Z. Yang ezyang at MIT.EDU
Tue Aug 9 22:40:06 CEST 2011

Hello all,

I was recently reading "Asynchronous Exceptions as an Effect" by Harrison,
Allwein, Gill and Procter, and noticed at the end that they found an error
in the operational semantics described in "Asynchronous Exceptions in Haskell"
by the Simons and Andrew Moran.  Does anyone know what this error was, and
whether or not it was corrected in the December 12, 2006 version of the paper
floating around on the net?


More information about the Haskell-Cafe mailing list