[Haskell-cafe] Error in the asynchronous exception operational semantics
Edward Z. Yang
ezyang at MIT.EDU
Tue Aug 9 22:40:06 CEST 2011
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