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

A. J. Kfoury, J. B. Wells

Browse the full POPL paper archive.