Scoping rules on a platter: a framework for understanding and specifying name binding.

Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine

Browse the full ICFP paper archive.