"Backward Type Inference Generalises Type Checking."

Lunjin Lu, Andy King (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics