Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
Author Cristiano Calcagno and Walid Taha and Liwen Huang and Xavier Leroy
Year 2003
PublicationType Conference Paper
Conference GPCE'03 International Conference on Generative Programming and Component Engineering.
Diva url
Abstract The paper addresses theoretical and practical aspects of implementing multi-stage languages using abstract syntax trees (ASTs),gensym, and reflection. We present an operational account of the correctness of this approach, and report on our experience with a bytecodecompiler called MetaOCaml that is based on this strategy. Current performance measurements reveal interesting characteristics of the underlying OCaml compiler, and illustrate why this strategy can be particularlyuseful for implementing domain-specific languages in a typed, functionalsetting.