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

Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine. Scoping rules on a platter: a framework for understanding and specifying name binding. In José Pedro Magalháes, Tiark Rompf, editors, Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. pages 59-70, ACM, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: