Deforestation for higher-order functional languages (1996)

by S D Marlow