@article{Kozen:1994:EIP:192095.192107,
    Address = {Orlando, FL, USA},
    Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael I.},
    File = {Efficient inference of partial types - Kozen, Palsberg, Schwartzbach (0) (0) - a - a - t.pdf},
    ISSN = {0022-0000},
    Journal = {J. Comput. Syst. Sci.},
    Keywords = {type inference and partial types},
    Month = {October},
    Number = {2},
    Pages = {306--324},
    Publisher = {Academic Press, Inc.},
    Title = {Efficient inference of partial types},
    URL = {http://dx.doi.org/10.1016/S0022-0000(05)80051-0},
    Volume = {49},
    Year = {1994},
    acmid = {192107},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(05)80051-0},
    date-added = {2013-07-17 13:00:19 +0000},
    date-modified = {2013-07-17 13:00:28 +0000},
    issue_date = {Oct. 1994},
    numpages = {19},
    doi = {10.1016/S0022-0000(05)80051-0}
}

@article{Kozen:1994:EIP:192095.192107, Address = {Orlando, FL, USA}, Author = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael I.}, File = {Efficient inference of partial types - Kozen, Palsberg, Schwartzbach (0) (0) - a - a - t.pdf}, ISSN = {0022-0000}, Journal = {J. Comput. Syst. Sci.}, Keywords = {type inference and partial types}, Month = {October}, Number = {2}, Pages = {306--324}, Publisher = {Academic Press, Inc.}, Title = {Efficient inference of partial types}, URL = {http://dx.doi.org/10.1016/S0022-0000(05)80051-0}, Volume = {49}, Year = {1994}, acmid = {192107}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(05)80051-0}, date-added = {2013-07-17 13:00:19 +0000}, date-modified = {2013-07-17 13:00:28 +0000}, issue_date = {Oct. 1994}, numpages = {19}, doi = {10.1016/S0022-0000(05)80051-0} }