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

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

Хиндли окончил в 1960 году Королевский университет Белфаста, оставшись, чтобы получить степень магистра наук. в 1961 году.

Он получил докторскую степень. в 1964 году из Университета Ньюкасл-апон-Тайн, где был научным руководителем его диссертации. Позже он вернулся в Королевский университет для получения докторской степени. в 1991 году.

• Хиндли, Дж. Роджер (1969), «Основная типовая схема объекта в комбинаторной логике», Труды Американского математического общества, 146 : 29–60, doi : 10.2307 / 1995158, JSTOR 1995158, MR 0253905.

• Хиндли, Дж. Роджер (2008), Основная теория простых типов (2-е изд.), Cambridge University Press, ISBN 9780521054225, получено в июне 22, 2009.

1. ^Домашняя страница Hindley's Swansea

.

.