Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen. Concurrent programming with revisions and isolation types. In William R. Cook, Siobhán Clarke, Martin C. Rinard, editors, Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA. pages 691-707, ACM, Reno/Tahoe, Nevada, 2010. [doi]
@inproceedings{BurckhardtBL10,
title = {Concurrent programming with revisions and isolation types},
author = {Sebastian Burckhardt and Alexandro Baldassin and Daan Leijen},
year = {2010},
doi = {10.1145/1869459.1869515},
url = {http://doi.acm.org/10.1145/1869459.1869515},
tags = {programming},
researchr = {https://researchr.org/publication/BurckhardtBL10},
cites = {0},
citedby = {0},
pages = {691-707},
booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
address = {Reno/Tahoe, Nevada},
publisher = {ACM},
isbn = {978-1-4503-0203-6},
}