DSL implementation in MetaOCaml, template haskell, and c (2004)

by K Czarnecki, J O’Donnell, J Striegnitz, W Taha