J. Roger Hindley

J. Roger Hindley
Född	1939 ( 1939 )
Alma mater	Queen's University Belfast
Känd för	Hindley–Milner-typ slutledningsalgoritm
Vetenskaplig karriär
Fält	Logik , typteori
institutioner	Swansea University
Doktorandrådgivare	Ronald Harrop

J. Roger Hindley är en framstående brittisk logiker mest känd för slutledningsalgoritmen av typen Hindley–Milner . Sedan 1998 har han varit hedersforskare vid Swansea University .

Utbildning

Hindley tog examen 1960 från Queen's University Belfast , kvar för att ta en M.Sc. år 1961.

Han fortsatte med en doktorsexamen. 1964 från University of Newcastle upon Tyne , där hans handledare var Ronald Harrop. Senare återvände han till Queen's University för en D.Sc. år 1991.

Han undervisade vid Penn State University (1964-1966), Bristol University (1966-1968) och har varit vid Swansea University sedan 1968.

Utvalda publikationer

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

•   Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 9780521054225 , hämtad 22 juni 2009 .

• J. Roger Hindley vid Mathematics Genealogy Project