@InProceedings{Haftmann:FLOPS2010-103,
  author =       "Florian Haftmann and Tobias Nipkow",
  title =        "Code Generation via Higher-Order Rewrite Systems",
  pages =        "103--117",
  ee =           "http://dx.doi.org/10.1007/978-3-642-12251-4_9",
  editor =       "Matthias Blume and Naoki Kobayashi and Germ{\'a}n
                 Vidal",
  booktitle =    "Functional and Logic Programming (FLOPS 2010)",
  address =      "Sendai, Japan",
  year =         "2010",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "6009",
}