Toward a general theory of names: binding and scope.

James Cheney Toward a general theory of names: binding and scope. 33-40 2005 MERLIN http://doi.acm.org/10.1145/1088454.1088459 conf/icfp/2005merlin db/conf/icfp/merlin2005.html#Cheney05a