Romeo: a system for more flexible binding-safe programming

DOI10.1017/S0956796816000137MaRDI QIDQ5371971zbMATH OpenFDO

Authors Paul Stansifer, Mitchell Wand

Publication date 23 October 2017

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796816000137

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
• Logic Programming
• FreshML: programming with binders made simple

Cites work

• \(\rightthreetimes\)
• A canonical locally named representation of binding
• A fresh look at programming with names and binders
• A Theory of Hygienic Macros
• Binders unbound
• FreshML: programming with binders made simple
• Nominal techniques in Isabelle/HOL
• Ott: Effective tool support for the working semanticist
• Sound type-dependent syntactic language extension
• Theorem Proving in Higher Order Logics
• Towards the essence of hygiene

Cited in

(1)

• Romeo: a system for more flexible binding-safe programming

Describes a project that uses

Uses Software

• Ott
• Nominal Isabelle

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 Q5371971)