"An Experiment in Type Inference and Verification by Abstract Interpretation."

Roberta Gori, Giorgio Levi (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics