Deforestation for higher-order functions (1993)

by S Marlow, P Wadler
Venue:In Proceedings of the 1992 Glasgow Workshop on Functional Programming