J. Roger Hindley
Jump to navigation Jump to search
|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.
- Hindley, J. Roger (1969), "The principal type-scheme of an object in combinatory logic", Transactions of the American Mathematical Society, American Mathematical Society, 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905.
- Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 9780521054225, retrieved June 22, 2009.
|This article about a United Kingdom mathematician is a stub. You can help Wikipedia by expanding it.|