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:52 - 17 self

Document Versions

Principality and Decidable Type Inference for Finite-Rank Intersection Types –A. J. Kfoury, J. B. Wells — 1999 — In Conf. Rec. POPL ’99: 26th ACM Symp. Princ. of Prog. Langs
Principality and Decidable Type Inference for Finite-Rank Intersection Types –A. J. Kfoury, J. B. Wells — 1999 — IN CONF. REC. POPL ’99: 26TH ACM SYMP. PRINC. OF PROG. LANGS
Principality and Decidable Type Inference for Finite-Rank Intersection Types –A. J. Kfoury, J. B. Wells — 1998