Дж. Роджер Хиндли - J. Roger Hindley - Wikipedia
Дж. Роджер Хиндли | |
|---|---|
| Родившийся | 1939 |
| Альма-матер | Королевский университет Белфаста |
| Известен | Алгоритм вывода типа Хиндли-Милнера |
| Научная карьера | |
| Поля | Логика, Теория типов |
| Учреждения | Суонси университет |
| Докторант | Рональд Харроп |
Дж. Роджер Хиндли видный Британский логик наиболее известен Алгоритм вывода типа Хиндли-Милнера. С 1998 года он был почетным научным сотрудником Суонси университет.[1]
Образование
Хиндли окончил в 1960 г. Королевский университет Белфаста, оставшиеся, чтобы заработать M.Sc. в 1961 г.
Затем он получил докторскую степень. в 1964 году из Университет Ньюкасл-апон-Тайн, где его научным руководителем был Рональд Харроп. Позже он вернулся в Королевский университет для получения докторской степени. в 1991 г.
Избранные публикации
- Хиндли, Дж. Роджер (1969), «Принципиальная типовая схема объекта в комбинаторной логике», Труды Американского математического общества, 146: 29–60, Дои:10.2307/1995158, JSTOR 1995158, МИСТЕР 0253905.
- Хиндли, Дж. Роджер (2008), Основы теории простых типов (2-е изд.), Cambridge University Press, ISBN 9780521054225, получено 22 июня, 2009.
Рекомендации
Авторитетный контроль  |
|---|
 | Эта статья о математике из Великобритании заглушка. Вы можете помочь Википедии расширяя это. |