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, }