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]
Abstract is missing.