30 Mar
2006
30 Mar
'06
2:31 p.m.
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