J. Roger Hindley - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for J. Roger Hindley.

J. Roger Hindley

From Wikipedia, the free encyclopedia

J. Roger Hindley
Born1939 (1939)
Alma materQueen's University Belfast
Known forHindley–Milner type inference algorithm
Scientific career
FieldsLogic, Type theory
InstitutionsSwansea University
Doctoral advisorRonald Harrop

J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.[1]

Education

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.

Selected publications

  • 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.

References

{{bottomLinkPreText}} {{bottomLinkText}}
J. Roger Hindley
Listen to this article