On Thu, Mar 30, 2006 at 11:39:34AM +0100, Tim Harris wrote: > BTW, I've put a copy of another recent STM-Haskell paper online at > http://research.microsoft.com/~tharris/drafts/2006-invariants-draft.pdf. > It's about defining invariants over transactionally-managed data > structures -- feedback's very welcome!
Here is my feedback: great stuff! :-) Best regards Tomasz _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
