Principality and Decidable Type Inference for Finite-Rank Intersection Types (1999)
Cached
Download Links
- [www.cs.bu.edu]
- [types.bu.edu]
- [www.cs.bu.edu]
- DBLP
Other Repositories/Bibliography
by
A. J. Kfoury
,
J. B. Wells
| Venue: | In Conf. Rec. POPL ’99: 26th ACM Symp. Princ. of Prog. Langs |
| Citations: | 50 - 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 |
