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