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
Citations:25 - 6 self