Using Types to Avoid Redundant Specialization (1991)

by Erik Ruf, Daniel Weise
Venue:In Proceedings of the PEPM '91 Symposium on Partial Evaluation and Semantics-Based Program Manipulations