A Theory of Hygienic Macros

DOI10.1007/978-3-540-78739-6_4zbMath1133.68319OpenAlexW1501205670MaRDI QIDQ5458385

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)

Related Items (4)

A lazy desugaring system for evaluating programs with sugars ⋮ Romeo: A system for more flexible binding-safe programming ⋮ “Little language” project modules ⋮ Spot the difference: a detailed comparison between B and Event-B

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