Ownership transfer in universe types (2007)

by P Müller, A Rudich
Venue:In OOPSLA ’07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications