"Type Inference Builds a Short Cut to Deforestation."

Olaf Chitil (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics