Improving Programs which Recurse over Multiple Inductive Structures (1994)

by Leonidas Fegaras, Tim Sheard, Tong Zhou
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94