Ownership, Encapsulation and the Disjointness of Type and Effect (2002)

by Dave Clarke, Sophia Drossopoulou
Venue:In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA