A. J. Kfoury, J. B. Wells
Principality and Decidable Type Inference for Finite-Rank Intersection Types
POPL, 1999.
@inproceedings{POPL-1999-KfouryW,
author = "A. J. Kfoury and J. B. Wells",
booktitle = "{Proceedings of the 26th Symposium on Principles of Programming Languages}",
doi = "10.1145/292540.292556",
editor = "Andrew W. Appel and Alex Aiken",
isbn = "1-58113-095-3",
pages = "161--174",
publisher = "{ACM}",
title = "{Principality and Decidable Type Inference for Finite-Rank Intersection Types}",
year = 1999,
}