[Haskell-cafe] Error in the asynchronous exception operational semantics
dmbarbour at gmail.com
Wed Aug 10 02:48:13 CEST 2011
All you need to know about asynchronous exceptions is: *don't use
too difficult to reason about, in terms of failure modes and such. Use TVars
or MVars instead.
On Tue, Aug 9, 2011 at 1:40 PM, Edward Z. Yang <ezyang at mit.edu> wrote:
> 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
> 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
> floating around on the net?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe