… language and its macro expander language. In the third section we discuss the naive
macro expansion algorithm. Section 4 contains the hygienic expansion algorithm and a correct…

… macro system can be applied to this hygiene problem as well in Section 6. Contributions. We
present a system for hygienic macros … , efficient hygiene algorithm to employ macros in ITP …

… , the definition of hygienic macro expansion hinges on the … with macros depends on the
results of macro expansion! We … For the specification of hygienic macro expansion, we simply …

… until macro expansion is locally complete. Building on that insight, this paper unifies and
extends the competing paradigms of hygienic macro expansion … of a complete macro system for …

… of hygienic macro expansion… hygienic macro expansion can be given a precise definition,
with useful formal properties, by explicitly specifying the shape and binding structure of macros…

… with greater focus on hygienic macros, and continue the story … influence of hygienic and
partially hygienic macro technology … macro expansion or modern algorithms for hygienic macro …

… It reviews various kinds of hygiene … for hygienic macro expansion. We then present
algorithm-independent, mathematical criteria for whether a macro expansion algorithm is hygienic. …

… Housel gives an overview of hygienic macro expansion in a … That algorithm performs hygienic
macro expansion by way of … macros can expand into definitions of local symbol macros, …

… macro system to delegate actual macro expansion task to a Scheme interpreter, instead of
building hygienic macro … ExJS, our prototype implementation of a hygienic macro system for …

… and the representation of the expanded terms as a mixture … hygienic macro expansion and
they make the descriptions in this dissertation a real semantics for hygienic macro expansion, …