Deforestation for Higher-Order Functional Languages (1996)

by S D Marlow