Code generation via higher-order rewrite systems (2010)

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