Ownership transfer in Universe Types (0)

by P Müller, A Rudich
Venue:In OOPSLA