J. Roger Hindley
J. Roger Hindley | |
|---|---|
| Nacido | 1939 ( 1939 ) |
| Alma máter | Universidad Queen de Belfast |
| Conocido por | Algoritmo de inferencia de tipos Hindley-Milner |
| Carrera científica | |
| Campos | Lógica , teoría de tipos |
| Instituciones | Universidad de Swansea |
| Asesor de doctorado | Ronald Harrop |
J. Roger Hindley es un destacado lógico británico , conocido por el algoritmo de inferencia de tipos Hindley-Milner . Desde 1998 es investigador honorario de la Universidad de Swansea . [1]
Educación
Hindley se graduó en 1960 en la Queen's University de Belfast y continuó sus estudios hasta obtener un máster en 1961.
En 1964 obtuvo el doctorado en 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 el doctorado en ciencias en 1991.
Enseñó en la Universidad Estatal de Pensilvania (1964-1966), en la Universidad de Bristol (1966-1968) y ha estado en la Universidad de Swansea desde 1968.
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 (2.ª ed.), Cambridge University Press, ISBN 9780521054225, consultado el 22 de junio de 2009.
Referencias
- ^ Página de inicio de Hindley en Swansea
- J. Roger Hindley en el Proyecto de Genealogía Matemática
 | Este artículo sobre un matemático del Reino Unido es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
