@article{hindley:69,
    Author = {Hindley, R.},
    File = {The Principal Type-Scheme of an Object in Combinatory Logic - Hindley (0) (0) - a - a - e.pdf},
    ISSN = {00029947},
    Journal = {Transactions of the American Mathematical Society},
    Keywords = {classic},
    Pages = {29--60},
    Publisher = {American Mathematical Society},
    Title = {The Principal Type-Scheme of an Object in Combinatory Logic},
    URL = {http://dx.doi.org/10.2307/1995158},
    Volume = {146},
    Year = {1969},
    bdsk-url-1 = {http://dx.doi.org/10.2307/1995158},
    citeulike-article-id = {6197850},
    citeulike-linkout-0 = {http://dx.doi.org/10.2307/1995158},
    citeulike-linkout-1 = {http://www.jstor.org/stable/1995158},
    date-added = {2013-07-09 12:52:23 +0000},
    date-modified = {2013-07-09 13:03:34 +0000},
    posted-at = {2009-11-23 16:48:33},
    priority = {2},
    doi = {10.2307/1995158}
}

@article{hindley:69, Author = {Hindley, R.}, File = {The Principal Type-Scheme of an Object in Combinatory Logic - Hindley (0) (0) - a - a - e.pdf}, ISSN = {00029947}, Journal = {Transactions of the American Mathematical Society}, Keywords = {classic}, Pages = {29--60}, Publisher = {American Mathematical Society}, Title = {The Principal Type-Scheme of an Object in Combinatory Logic}, URL = {http://dx.doi.org/10.2307/1995158}, Volume = {146}, Year = {1969}, bdsk-url-1 = {http://dx.doi.org/10.2307/1995158}, citeulike-article-id = {6197850}, citeulike-linkout-0 = {http://dx.doi.org/10.2307/1995158}, citeulike-linkout-1 = {http://www.jstor.org/stable/1995158}, date-added = {2013-07-09 12:52:23 +0000}, date-modified = {2013-07-09 13:03:34 +0000}, posted-at = {2009-11-23 16:48:33}, priority = {2}, doi = {10.2307/1995158} }