Pure Partial Evaluation and Instantiation (1988)

by P Kursawe
Venue:Eds.), Partial Evaluation and Mixed Computation