J. Roger Hindley

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.