Type-Inference Based Deforestation of Functional Programs (2000)

by Olaf Chitil