Type-inference based deforestation of functional programs (2000)

by O Chitil
Venue:Ph.D. thesis; RWTH Aachen