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