Ownership, encapsulation and disjointness of type and eect (2002)

by D G Clarke, S Drossopoulou
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA