2006-03-31 [長年日記]
λ. Audrey Tang 氏
<URL:http://en.wikipedia.org/wiki/Audrey_Tang>
Audrey Tang 氏って1981年生まれだったんだ。 知らなかった。
λ. Transactional Memory with data invariants. Tim Harris, Simon Peyton Jones
- <URL:http://lambda-the-ultimate.org/node/1388>
- <URL:http://research.microsoft.com/~tharris/drafts/2006-invariants-draft.pdf>
面白そう。
[ツッコミを入れる]
