on-line partial evaluator for a polymorphic language (1997)

by T Atype-directed Sheard
Venue:In Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation