Дж. Роджер Хиндли - Википедия - J. Roger Hindley

Дж. Роджер Хиндли видный Британский логик наиболее известен Алгоритм вывода типа Хиндли-Милнера. С 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.

Рекомендации

Эта статья о математике из Великобритании заглушка. Вы можете помочь Википедии расширяя это.