"Type-Based Useless Variable Elimination."

Naoki Kobayashi (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics