A practical type system and language for reference immutability

Adrian Birka, Michael D. Ernst. A practical type system and language for reference immutability. In John M. Vlissides, Douglas C. Schmidt, editors, Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004. pages 35-49, ACM, Vancouver, BC, Canada, 2004. [doi]

Abstract

Abstract is missing.