A Practical Type System and Language for Reference Immutability (2004)

by Adrian Birka , Michael D. Ernst
Venue:In OOPSLA
Citations:36 - 10 self