A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Romeo
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Current systems for safely manipulating values containing names only support simple binding structures for those names. As a result, few 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 λ m,
doi:10.1145/2628136.2628162
dblp:conf/icfp/StansiferW14
fatcat:3r3kb6uporhfbfogyrrgg4o77i