A Theory of Hygienic Macros

DOI10.1007/978-3-540-78739-6_4MaRDI QIDQ5458385zbMATH OpenOpenAlexFDO

Authors David Herman, Mitchell Wand

Publication date 11 April 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78739-6_4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Debugging hygienic macros
• scientific article; zbMATH DE number 2018590
• Fortifying macros
• Macros that work together

Cited in

(11)

• Spot the difference: a detailed comparison between B and Event-B
• A lazy desugaring system for evaluating programs with sugars
• Towards the essence of hygiene
• Hygienic resugaring of compositional desugaring
• scientific article; zbMATH DE number 2018590 (Why is no real title available?)
• Beyond notations: hygienic macro expansion for theorem proving languages
• Fortifying macros
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• ``Little language project modules
• Romeo: a system for more flexible binding-safe programming
• Debugging hygienic macros

This page was built for publication: A Theory of Hygienic Macros

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