Generalising deforestation to all first-order functional programs (1991)

by W-N Chin
Venue:In Workshop on Static Analysis of Equational, Functional and Logic Programming Languages, BIGRE 74