Type Inference Builds a Short Cut to Deforestation (1999)

by O Chitil
Venue:In ICFP ’99. ACM