[Haskell-cafe] Monadic presentation of delimited continuations and
lgreg.meredith at biosimilarity.com
Wed Jun 9 07:45:31 EDT 2010
After reading through the Dybvig, Jones and Sabry paper on the monadic
presentation of delimited continuations, it seems like one can come up with
a direct representation of the control contexts and meta continuations
framework as an instance of McBride's dissection mechanism. Do either of you
know if that work has already been done? McBride doesn't use that as an
example in his Clowns and Jokers paper.
1219 NW 83rd St
Seattle, WA 98117
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe