Toward a general theory of names: binding and scope (2005)

by James Cheney
Venue:In MERLIN ’05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized