Generative unbinding of names (2007)

by A M Pitts, M R Shinwell
Venue:In 34th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL 2007