%0 Conference Paper %1 conf/popl/KfouryW99 %A Kfoury, A. J. %A Wells, J. B. %B POPL %D 1999 %E Appel, Andrew W. %E Aiken, Alex %I ACM %K dblp %P 161-174 %T Principality and Decidable Type Inference for Finite-Rank Intersection Types. %U http://dblp.uni-trier.de/db/conf/popl/popl99.html#KfouryW99 %@ 1-58113-095-3

@inproceedings{conf/popl/KfouryW99, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kfoury, A. J. and Wells, J. B.}, biburl = {https://www.bibsonomy.org/bibtex/2acb4897996d6113a103ba76a8bf7e406/dblp}, booktitle = {POPL}, crossref = {conf/popl/1999}, editor = {Appel, Andrew W. and Aiken, Alex}, ee = {https://doi.org/10.1145/292540.292556}, interhash = {c3eee2624df2269ad2936ef44c4d4a18}, intrahash = {acb4897996d6113a103ba76a8bf7e406}, isbn = {1-58113-095-3}, keywords = {dblp}, pages = {161-174}, publisher = {ACM}, timestamp = {2018-11-07T15:44:24.000+0100}, title = {Principality and Decidable Type Inference for Finite-Rank Intersection Types.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl99.html#KfouryW99}, year = 1999 }