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]
@inproceedings{VoufoZL14,
title = {Scoping rules on a platter: a framework for understanding and specifying name binding},
author = {Larisse Voufo and Marcin Zalewski and Andrew Lumsdaine},
year = {2014},
doi = {10.1145/2633628.2633633},
url = {http://doi.acm.org/10.1145/2633628.2633633},
researchr = {https://researchr.org/publication/VoufoZL14},
cites = {0},
citedby = {0},
pages = {59-70},
booktitle = {Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014},
editor = {José Pedro Magalháes and Tiark Rompf},
publisher = {ACM},
isbn = {978-1-4503-3042-8},
}