Tutorial notes on partial evaluation. (1993)

by C Consel, O Danvy
Venue:In POPL,