Slide 5
Slide 5 text
Sebastian Burckhardt, Alexandro Baldassion, and Daan Leijen.
Concurrent Programming with Revisions and Isolation Types.
In Proceedings of the ACM International Conference on Object Oriented Programming
Systems Languages and Applications (OOPSLA’10), ACM SIGPLAN, Reno, NV,
October 2010
Daan Leijen, Sebastian Burckhardt, and Manuel Fahndrich.
Prettier Concurrency: Purely Functional Concurrent Revisions.
In Haskell Symposium 2011 (Haskell’11), ACM SIGPLAN, Tokyo, Japan,
7 July 2011
Disclosure: not my work!