Ownership Types for Object Encapsulation (2003)

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