The Generation of a Higher-Order Online Partial Evaluator (1995)

by Peter Thiemann, Robert Glück
Venue:In: Fuji Workshop on Functional and Logic Programming