Concurrent programming with revisions and isolation types.

Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen

Browse the full OOPSLA paper archive.