Code generation via higher-order rewrite systems (0)

by F Haftmann, T Nipkow
Venue:in: Proc. 10th FLOPS, LNCS 6009 (2010