Multi Stage Programming

Sgc
   * [[http://www.cs.rice.edu/~taha/MSP/][Multi-stage Programming (MSP)]]

   * Walid Taha. [[http://www.cs.rice.edu/~taha/publications.html][A Gentle Introduction to Multi-stage Programming]]. DSPG'04

   * [[http://www.cse.ogi.edu/PacSoft/projects/metaml/][MetaML]]
      * Walid Taha and Tim Sheard. [[http://dx.doi.org/10.1016/S0304-3975(00)00053-0][MetaML and multi-stage programming with explicit annotations]]. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
      * Tim Sheard. [[http://link.springer.de/link/service/series/0558/bibs/2196/21960002.htm][Accomplishments and Research Challenges in Meta-programming]]. SAIG 2001: 2-44

   * [[http://www.metaocaml.org/][MetaOCaml]]

   * A Gentle Introduction to Multi-stage Programming
      * [[http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf][download]]

   * Additional resoures:
      * MetaML and Multi-Stage Programming with Explicit Annotations
         * Walid Taha and Tim Sheard
         * [[http://www.cse.ogi.edu/PacSoft/publications/phaseiiiq8papers/metaml.pdf][download]]
      * MetaOCaml
         * [[http://www.metaocaml.org/][Website]]
         * [[http://www.metaocaml.org/doc/Tutorial%202003.pdf][Slides of GPCE 2003 Tutorial]]

   * DSL Implementation in MetaOCaml, Template Haskell, and C++
      * [[http://www.cs.rice.edu/~taha/publications/journal/dspg04b.pdf][download]]