Andrew M. Pitts, Mark R. Shinwell
Generative unbinding of names
POPL, 2007.
@inproceedings{POPL-2007-PittsS, author = "Andrew M. Pitts and Mark R. Shinwell", booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}", doi = "10.1145/1190216.1190232", editor = "Martin Hofmann and Matthias Felleisen", isbn = "1-59593-575-4", pages = "85--95", publisher = "{ACM}", title = "{Generative unbinding of names}", year = 2007, }