Ownership transfer in universe types.

Peter Mller, Arsenii Rudich

Browse the full OOPSLA paper archive.