Type-inference based deforestation of functional programs (2000)

by O Chitil