A Theory of Hygienic Macros

DOI10.1007/978-3-540-78739-6_4zbMATH Open1133.68319OpenAlexW1501205670MaRDI QIDQ5458385FDOQ5458385

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Spot the difference: a detailed comparison between B and Event-B
• Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
• Debugging hygienic macros
• Romeo: a system for more flexible binding-safe programming
• A lazy desugaring system for evaluating programs with sugars
• Fortifying macros
• Towards the essence of hygiene
• Hygienic resugaring of compositional desugaring
• ``Little language project modules

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)