Toward a general theory of names: binding and scope Export

@inproceedings{cheney-merlin-05, address = {New York, NY, USA}, author = {Cheney, James}, booktitle = {MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding}, citeulike-article-id = {359771}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1088454.1088459}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1088454.1088459}, doi = {10.1145/1088454.1088459}, isbn = {1595930728}, keywords = {binding, functional-programming, nominal, syntax}, pages = {33--40}, posted-at = {2009-02-19 16:29:01}, priority = {2}, publisher = {ACM Press}, title = {Toward a general theory of names: binding and scope}, url = {http://dx.doi.org/10.1145/1088454.1088459}, year = {2005} }

TY - CONF ID - cheney-merlin-05 L3 - citeulike-article-id:359771 SN - 1595930728 AD - New York, NY, USA EP - 40 TI - Toward a general theory of names: binding and scope PB - ACM Press T2 - MERLIN '05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding SP - 33 KW - binding KW - functional-programming KW - nominal KW - syntax AU - Cheney, James PY - 2005/// UR - http://dx.doi.org/10.1145/1088454.1088459 ER -