A unied approach to partial evaluation and deforestation (1996)

by K Nielsen