Sharing objects through aliasing is both a powerful … [ref]. … This paper takes the first steps towards imposing … [p. 49] The key to solving this problem is … the context that it resides within. Object contexts … that allows us to speak of an object's … ownership types with different declared contexts cannot refer … ownership type system establishes a sensible notion of …
Google-1
Google-2
Copyright clearance needed for quotation.