J. Roger Hindley
From Infogalactic: the planetary knowledge core
| J. Roger Hindley | |
|---|---|
| Born | 1939 |
| Fields | Logic, Type theory |
| Institutions | Swansea University |
| Alma mater | Queen's University Belfast |
| Doctoral advisor | Ronald Harrop |
| Known for | Hindley–Milner type inference algorithm |
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.[1]
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
- Lua error in package.lua at line 80: module 'strict' not found..
- Lua error in package.lua at line 80: module 'strict' not found..
References
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a United Kingdom mathematician is a stub. You can help Wikipedia by expanding it. |
