The generation of a higher-order online partial evaluator (1995)

by P Thiemann, R Gluck
Venue:in Fuji Workshop on Functional and Logic Programming