Sneha Girap (Editor)

J Roger Hindley

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Institutions
  
Swansea University

Academic advisor
  
Ronald Harrop

Fields
  
Logic, Type theory

Name
  
J. Hindley

Doctoral advisor
  
Ronald Harrop


J. Roger Hindley wwwuserswaitrosecomhindleyJRHpicLon121


Born
  
1939 (
1939
)

Alma mater
  
Queen's University Belfast

Known for
  
Hindley–Milner type inference algorithm

Education
  
Queen's University Belfast

Books
  
Introduction to combinators and [lambda]-calculus

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.

Contents

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, American Mathematical Society, 146: 29–60, JSTOR 1995158, MR 0253905, doi:10.2307/1995158 .
  • Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 9780521054225, retrieved June 22, 2009 .

    • References

    J. Roger Hindley Wikipedia
    (Text) CC BY-SA