Multi Stage Programming

• Multi-stage Programming (MSP)

• Walid Taha. A Gentle Introduction to Multi-stage Programming. DSPG'04

• MetaML
  • Walid Taha and Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
  • Tim Sheard. Accomplishments and Research Challenges in Meta-programming. SAIG 2001: 2-44

• MetaOCaml

• A Gentle Introduction to Multi-stage Programming
  • download

• Additional resoures:
  • MetaML? and Multi-Stage Programming with Explicit Annotations
    • Walid Taha and Tim Sheard
    • download
  • MetaOCaml?
    • Website
    • Slides of GPCE 2003 Tutorial

• DSL Implementation in MetaOCaml? , Template Haskell, and C++
  • download