Adrian Birka, Michael D. Ernst
A practical type system and language for reference immutability
OOPSLA, 2004.
@inproceedings{OOPSLA-2004-BirkaE,
author = "Adrian Birka and Michael D. Ernst",
booktitle = "{Proceedings of the 19th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/1028976.1028980",
editor = "John M. Vlissides and Douglas C. Schmidt",
isbn = "1-58113-831-8",
pages = "35--49",
publisher = "{ACM}",
title = "{A practical type system and language for reference immutability}",
year = 2004,
}











