{"_id":"bZwvzzk7wB7WwrrQq","bibbaseid":"stansifer-wand-romeoasystemformoreflexiblebindingsafeprogramming-2014","downloads":0,"creationDate":"2017-04-23T20:31:12.640Z","title":"Romeo: a system for more flexible binding-safe programming","author_short":["Stansifer, P.","Wand, M."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.ccs.neu.edu/home/wand/Bibliography.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Stansifer"],"suffixes":[]},{"firstnames":["Mitchell"],"propositions":[],"lastnames":["Wand"],"suffixes":[]}],"title":"Romeo: a system for more flexible binding-safe programming","optcrossref":"","optkey":"","booktitle":"Proc. ACM SIGPLAN International Conference on Functional Programming","year":"2014","opteditor":"","optvolume":"","optnumber":"","optseries":"","optpages":"","optmonth":"","optaddress":"","optorganization":"","optpublisher":"","note":"to appear","source":"https://github.com/mwand/alpha-agnostic.git/icfp2014","optannote":"","abstract":"Current languages for safely manipulating values with names provide support only for term languages with simple binding syntax. As a result, no tools exist to safely manipulate code in those languages for which name problems are the most challenging. We address this problem with Romeo, a language that respects α-equivalence on its values, and which has access to a rich specification language for binding, inspired by attribute grammars. Our work has the complex-binding support of David Herman's $\\lambda_m$, but is a full-fledged binding-safe language like Pure FreshML.","bibtex":"@InProceedings{,\n author = \t {Paul Stansifer and Mitchell Wand},\n title = \t {Romeo: a system for more flexible binding-safe programming},\n OPTcrossref = {},\n OPTkey = \t {},\n booktitle =\t icfp,\n year =\t 2014,\n OPTeditor = \t {},\n OPTvolume = \t {},\n OPTnumber = \t {},\n OPTseries = \t {},\n OPTpages = \t {},\n OPTmonth = \t {},\n OPTaddress = \t {},\n OPTorganization = {},\n OPTpublisher = {},\n note =\t {to appear},\n source = {https://github.com/mwand/alpha-agnostic.git/icfp2014},\n OPTannote = \t {},\n abstract = {Current languages for safely manipulating values with\n names provide support only for term languages with\n simple binding syntax. As a result, no tools exist\n to safely manipulate code in those languages for\n which name problems are the most challenging. We\n address this problem with Romeo, a language that\n respects α-equivalence on its values, and which has\n access to a rich specification language for binding,\n inspired by attribute grammars. Our work has the\n complex-binding support of David Herman's $\\lambda_m$, but\n is a full-fledged binding-safe language like Pure\n FreshML.}\n}\n\n","author_short":["Stansifer, P.","Wand, M."],"key":"","id":"","bibbaseid":"stansifer-wand-romeoasystemformoreflexiblebindingsafeprogramming-2014","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["romeo","system","more","flexible","binding","safe","programming","stansifer","wand"],"keywords":[],"authorIDs":["58fd0f10bfc623c939000018"],"dataSources":["zM8mNPR4ZkAHKtvDs"]}