Krzysztof Czarnecki John T. O'Donnell Jörg Striegnitz Walid Taha DSL Implementation in MetaOCaml, Template Haskell, and C++. 51-72 http://dx.doi.org/10.1007/978-3-540-25935-0_4 2003 conf/dagstuhl/2003dspg Domain-Specific Program Generation db/conf/dagstuhl/dspg2003.html#CzarneckiOST03