Improving Programs Which Induct Over Multiple Inductive Structures (1994)

by T Sheard, L Fegaras, T Zhou
Venue:ACM SIGPLAN workshop on Partial Evaluation and Semantic's Based Program Manipulation, PEPM'94