Generative unbinding of names.

Andrew M. Pitts, Mark R. Shinwell

Browse the full POPL paper archive.