Ownership transfer in universe types (2007)

by P Müller, A Rudich
Venue:ISSN 0362-1340. doi: 10.1145/ 1297105.1297061. URL http://doi.acm.org/10.1145/1297105