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

by D G Clarke, S Drossopoulou
Venue:In 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA