[Template-haskell] DSL Implementation in MetaOCaml, Template Haskell, and C++.

Dear all, Krzysztof Czarnecki, John O'Donnell, Jorg Striegnitz, and myself are currently working on a short article with the above title. The latest draft can be found at: http://www.cs.rice.edu/~taha/publications/preprints/2003-12-01.pdf Naturally, we are very interested in your feedback. Walid.