A Computational Formalization for Partial Evaluation (Extended Version (1996)

by RS-96-34 John Hatcliff, Olivier Danvy
Venue:Mathematical Structures in Computer Science