@inproceedings{kfoury:tiuryn:90,
    Author = {Kfoury, A.J. and Tiuryn, J.},
    BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e},
    File = {Type reconstruction in finite-rank fragments of the polymorphic lambda-calculus - Kfoury, Tiuryn (0) (0) - a - a - j.pdf},
    Keywords = {type inference and polymorphic types},
    Pages = {2-11},
    Title = {Type reconstruction in finite-rank fragments of the polymorphic lambda-calculus},
    Year = {1990},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113728},
    date-added = {2013-07-10 12:06:54 +0000},
    date-modified = {2013-07-10 12:09:21 +0000},
    doi = {10.1109/LICS.1990.113728}
}

@inproceedings{kfoury:tiuryn:90, Author = {Kfoury, A.J. and Tiuryn, J.}, BookTitle = {Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e}, File = {Type reconstruction in finite-rank fragments of the polymorphic lambda-calculus - Kfoury, Tiuryn (0) (0) - a - a - j.pdf}, Keywords = {type inference and polymorphic types}, Pages = {2-11}, Title = {Type reconstruction in finite-rank fragments of the polymorphic lambda-calculus}, Year = {1990}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1990.113728}, date-added = {2013-07-10 12:06:54 +0000}, date-modified = {2013-07-10 12:09:21 +0000}, doi = {10.1109/LICS.1990.113728} }