Romeo: A system for more flexible binding-safe programming

DOI10.1017/S0956796816000137zbMath1420.68044MaRDI QIDQ5371971

Mitchell Wand, Paul Stansifer

Publication date: 23 October 2017

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

Mathematics Subject Classification ID

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

Uses Software

• Ott
• Nominal Isabelle

Cites Work

• Nominal techniques in Isabelle/HOL
• A canonical locally named representation of binding
• Towards the Essence of Hygiene
• Sound type-dependent syntactic language extension
• A fresh look at programming with names and binders
• Binders unbound
• Ott: Effective tool support for the working semanticist
• FreshML
• A Theory of Hygienic Macros
• Theorem Proving in Higher Order Logics
• Automated Deduction – CADE-19

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