Ownership, encapsulation and the disjointness of type and effect (0)

by Dave Clarke, Sophia Drossopoulou
Venue:Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications (OOPSLA-02), volume 37, 11 of ACM SIGPLAN Notices