Ownership Types for Object Encapsulation (2003)

by Chandrasekhar Boyapati , Barbara Liskov , Liuba Shrira
Venue:In Principles of Programming Languages (POPL
Citations:146 - 8 self