Ownership, encapsulation and the disjointness of type and effect.

David G. Clarke, Sophia Drossopoulou

Browse the full OOPSLA paper archive.