Code generation via higher-order rewrite systems (2010)

by F Haftmann, T Nipkow
Venue:In Functional and Logic Programming, 10th International Symposium: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science