J. Roger Hindley

From Wikipedia, the free encyclopedia
Jump to: navigation, search
J. Roger Hindley
Born 1938 (1938)
Fields Logic, Type theory
Institutions Swansea University
Alma mater Queen's University Belfast
Doctoral advisor Ronald Harrop
Known for Hindley–Milner type inference algorithm

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[edit]

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[edit]

References[edit]

  1. ^ Hindley's Swansea homepage