%0 Journal Article %1 citeulike:6197850 %A Hindley, R. %D 1969 %I American Mathematical Society %J Transactions of the American Mathematical Society %K haskell %P 29--60 %R 10.2307/1995158 %T The Principal Type-Scheme of an Object in Combinatory Logic %U http://dx.doi.org/10.2307/1995158 %V 146

@article{citeulike:6197850, added-at = {2017-06-29T07:13:07.000+0200}, author = {Hindley, R.}, biburl = {https://www.bibsonomy.org/bibtex/23c8119b961fa46a33598f5cc60360e75/gdmcbain}, citeulike-article-id = {6197850}, citeulike-attachment-1 = {hindley_69_principal_832737.pdf; /pdf/user/gdmcbain/article/6197850/832737/hindley_69_principal_832737.pdf; 4e5debd415f42c1397fa69eb76b2d2e25f41db96}, citeulike-linkout-0 = {http://dx.doi.org/10.2307/1995158}, citeulike-linkout-1 = {http://www.jstor.org/stable/1995158}, comment = {(private-note)cited in Haskell 2010 Language Report}, doi = {10.2307/1995158}, file = {hindley_69_principal_832737.pdf}, interhash = {2a881ae39e8f626be4c9796e74dcabf5}, intrahash = {3c8119b961fa46a33598f5cc60360e75}, issn = {00029947}, journal = {Transactions of the American Mathematical Society}, keywords = {haskell}, pages = {29--60}, posted-at = {2012-09-21 11:44:36}, priority = {2}, publisher = {American Mathematical Society}, timestamp = {2017-06-29T07:13:07.000+0200}, title = {{The Principal Type-Scheme of an Object in Combinatory Logic}}, url = {http://dx.doi.org/10.2307/1995158}, volume = 146, year = 1969 }