Type inference builds a short cut to deforestation (1999)

by O Chitil
Venue:Proc. of the International Conference on Functional Programming, 249–260, ACM Press