A Computational Formalization for Partial Evaluation (1997)

by John Hatcliff, Olivier Danvy, I Ff, Ol