"Principality and Decidable Type Inference for Finite-Rank Intersection Types."

A. J. Kfoury, J. B. Wells (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics