A practical type system and language for reference immutability.

Adrian Birka, Michael D. Ernst

Browse the full OOPSLA paper archive.