Deforestation for higher order functions (1992)

by S Marlow, P Wadler
Venue:In Glasgow Workshop on Functional Programming