Дж. Роджер Хиндли

Дж. Роджер Хиндли
Рожденный	1939  ( 1939 )
Альма-матер	Королевский университет Белфаста
Известный	Алгоритм вывода типа Хиндли – Милнера
Научная карьера
Поля	Логика , Теория типов
Учреждения	Университет Суонси
Докторантура	Рональд Харроп

Дж. Роджер Хиндли — выдающийся британский логик, наиболее известный благодаря алгоритму вывода типа Хиндли-Милнера . С 1998 года он является почетным научным сотрудником Университета Суонси .

Образование

Хиндли окончила в 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 г.

Ссылки

• Дж. Роджер Хиндли в проекте «Математическая генеалогия»