Deforestation for higher order functional programs (1995)

by G W Hamilton