A computational formalization for partial evaluation (1997)

by John Hatcli, Olivier Danvy
Venue:Mathematical Structures in Computer Science