"Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference."

David A. McAllester (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics