J. Roger Hindley es un destacado lógico británico más conocido por el algoritmo de inferencia de tipo Hindley-Milner . Desde 1998, ha sido investigador honorario en la Universidad de Swansea . [1]
J. Roger Hindley | |
---|---|
Nació | 1939 |
alma mater | Universidad de la Reina de Belfast |
Conocido por | Algoritmo de inferencia de tipo Hindley-Milner |
Carrera científica | |
Campos | Lógica , teoría de tipos |
Instituciones | Universidad de Swansea |
Asesor de doctorado | Ronald Harrop |
Educación
Hindley se graduó en 1960 de la Queen's University de Belfast , quedando para obtener un M.Sc. en 1961.
Luego pasó a recibir un doctorado. en 1964 de la Universidad de Newcastle upon Tyne , donde su director de tesis fue Ronald Harrop . Más tarde, regresó a la Queen's University para obtener un D.Sc. En 1991.
Publicaciones Seleccionadas
- Hindley, J. Roger (1969), "El esquema de tipos principal de un objeto en lógica combinatoria", Transactions of the American Mathematical Society , 146 : 29–60, doi : 10.2307 / 1995158 , JSTOR 1995158 , MR 0253905.
- Hindley, J. Roger (2008), Teoría básica de tipos simples (2a ed.), Cambridge University Press, ISBN 9780521054225, consultado el 22 de junio de 2009.