@InProceedings{,
  author = 	 {Paul Stansifer and Mitchell Wand},
  title = 	 {Romeo: a system for more flexible binding-safe programming},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle =	 icfp,
  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.}
}

{"_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"]}