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]

Authors

Larisse Voufo

This author has not been identified. Look up 'Larisse Voufo' in Google

Marcin Zalewski

This author has not been identified. It may be one of the following persons: Look up 'Marcin Zalewski' in Google

Andrew Lumsdaine

This author has not been identified. It may be one of the following persons: Look up 'Andrew Lumsdaine' in Google