Romeo
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.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Aug 19, 2014
- Source ID
- 10.1145/2692915.2628162
Entities
People
- Mitchell Wand
- Paul Stansifer
Organizations
- Defense Advanced Research Projects Agency
- Northeastern University