Type-directed partial evaluation. (1996)

by O Danvy
Venue:In POPL. ACM,