Connecting effects and uniqueness with adoption.

John Tang Boyland, William Retert

Browse the full POPL paper archive.