From Wikipedia, the free encyclopedia
J. Roger Hindley
|Alma mater||Queen's University Belfast|
|Known for||Hindley–Milner type inference algorithm|
|Fields||Logic, Type theory|
|Doctoral advisor||Ronald Harrop|
Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961.
He went on to receive a Ph.D. in 1964 from University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.
- Hindley, J. Roger (1969), "The principal type-scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.