Code generation via higher-order rewrite systems (2010)

by F Haftmann, T Nipkow
Venue:In FLOPS 2010