Affiliation:
1. Northeastern University, Boston, MA, USA
Abstract
Current languages for safely manipulating values with names only support term languages with simple binding syntax. As a result, no tools exist to safely manipulate code written 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
, but is a full-fledged binding-safe language like Pure FreshML.
Funder
Defense Advanced Research Projects Agency
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Creating Domain-Specific Languages by Composing Syntactical Constructs;Practical Aspects of Declarative Languages;2018-12-19
2. Inferring type rules for syntactic sugar;Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation;2018-06-11
3. Inferring scope through syntactic sugar;Proceedings of the ACM on Programming Languages;2017-08-29
4. Programs Using Syntax with First-Class Binders;Programming Languages and Systems;2017
5. Needle & Knot: Binder Boilerplate Tied Up;Programming Languages and Systems;2016