Staged Meta Programming * MetaML does not restrict the stages to only run or compile Template Meta Programming * Template Haskell * C++ Templates Macro Systems Lexical macro systems are often independent of specific PL. Macro system that operate on a structured representations of source code are called syntax macros. Some macro systems allow the definition of a context-free syntax for the arguments of the macro. Hygience macro systems avoid unintended capturing of identifiers that are used in the context or in the macro definition. * Lisp Macros * Scheme R5RS Macros * Syntax macros in Bigwig * Maya Aspect-Oriented Programming * AspectJ * AspectL Quotation and Antiquotation * Camlp4 * SML/NJ Object Language Embedding with Quote/Antiquote * Isabelle's Logics * Programmable Syntax Macros * Meta Programming with Concrete Object Syntax Systems * GRAMPS