Principality and Decidable Type Inference for Finite-Rank Intersection Types (1999)

Cached

Download Links

by A. J. Kfoury , J. B. Wells
Venue:In Conf. Rec. POPL ’99: 26th ACM Symp. Princ. of Prog. Langs
Citations:51 - 17 self