Romeo: a system for more flexible binding-safe programming

DOI10.1145/2628136.2628162MaRDI QIDQ2819665zbMATH OpenOpenAlexFDO

Authors Paul Stansifer, Mitchell Wand

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628162

zbMATH Keywords

bindingmacrosalpha-equivalence

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Romeo: a system for more flexible binding-safe programming
• Binders unbound
• A fresh look at programming with names and binders
• FreshML: programming with binders made simple
• Logic Programming

Cited in

(2)

• Programs using syntax with first-class binders
• Romeo: a system for more flexible binding-safe programming

This page was built for publication: Romeo: a system for more flexible binding-safe programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819665)