… Hygienic macro systems, such as Scheme’s, automatically rename variables …. According to folklore, the definition of hygienic macro expansion hinges … for programs with macros depends on the results of macro expansion! We break …
ESOP 2008: 48-62 [doi]… There are a number of programmable macro systems such as Lisp’s. While they can … examines this problem and, to address it, presents an advanced macro system based on ideas borrowed from reflection. Unlike other macro systems, our macro system …
TOOLS 1998: 113-126 [doi]… We present the λm-calculus, a semantics for a language of hygienic macros with a non-trivial theory. Unlike Scheme, where programs must be macro-expanded … to programmers. Our contributions include a semantics of hygienic macro expansion …
PhD thesis, Northeastern University, Boston, Massachusetts, May 2010.… A special class of functional programs can be modelled by Macro … given Macro Tree Transducers, with appropriate restrictions, a single Macro Tree Transducer that implements the composition of the two …
Master's thesis, Technische Universität Dresden, 2001.… reuse. It exploits a macro system in a novel way to simultaneously type check and rewrite a surface program into a target language. Reusing a macro system also …
POPL 2017: 694-705 [doi]