DSL Implementation in MetaOCaml, Template Haskell, and C++

  title={DSL Implementation in MetaOCaml, Template Haskell, and C++},
  author={Krzysztof Czarnecki and John T. O'Donnell and J{\"o}rg Striegnitz and Walid Taha},
  booktitle={Domain-Specific Program Generation},
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how two alternative techniques—staged interpreters and templates—can be used to overcome the limitations of embedding. Both techniques involve a form of generative programming. The paper reviews and compares three programming languages that have special support for generative programming. Two of these languages (MetaOCaml… CONTINUE READING
Highly Cited
This paper has 122 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 77 extracted citations

123 Citations

Citations per Year
Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 53 references

Haskell 98 language and libraries

  • Simon Peyton Jones ed
  • Journal of Functional Programming,
  • 2003
1 Excerpt

Template Haskell: A report from the field. http://web.comlab.ox.ac.uk /oucl/work/ian.lynagh/papers

  • Ian Lynagh
  • 2003
2 Excerpts

Similar Papers

Loading similar papers…