Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Programming Languages and Compilers
Romeo: A System For More Flexible Binding-Safe Programming, Paul Stansifer, Mitchell Wand
Romeo: A System For More Flexible Binding-Safe Programming, Paul Stansifer, Mitchell Wand
Mitchell Wand
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.
An Example Derivation For =R, Paul Stansifer, Mitchell Wand
An Example Derivation For =R, Paul Stansifer, Mitchell Wand
Mitchell Wand
No abstract provided.
Some Definitions And Proofs Regarding Romeo, Paul Stansifer, Mitchell Wand
Some Definitions And Proofs Regarding Romeo, Paul Stansifer, Mitchell Wand
Mitchell Wand
No abstract provided.