Ownership types for object encapsulation.

Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira

Browse the full POPL paper archive.