Dan Grossman. Type-safe multithreading in cyclone. In Zhong Shao, Peter Lee, editors, Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. pages 13-25, ACM, 2003. [doi]
@inproceedings{Grossman03:1,
title = {Type-safe multithreading in cyclone},
author = {Dan Grossman},
year = {2003},
doi = {10.1145/604174.604177},
url = {http://doi.acm.org/10.1145/604174.604177},
researchr = {https://researchr.org/publication/Grossman03%3A1},
cites = {0},
citedby = {0},
pages = {13-25},
booktitle = {Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003},
editor = {Zhong Shao and Peter Lee},
publisher = {ACM},
isbn = {1-58113-649-8},
}