J. Roger Hindley Scientist

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.

Personal facts

Birth dateJanuary 01, 1938
Education
Queen's University Belfast
Known for
Hindley–Milner type system

Search

Scientist

doctoral advisor
Ronald Harrop
Field of study
Type theory
Logic

Topical connections

Alex CallinicosPhilosopher
A. C. GraylingPolitician
Dov GabbayScientist

J. Roger Hindley on Wikipedia

External resources

  1. http://books.google.com/?id=nDvFIwAACAAJ