J. Roger Hindley - J. Roger Hindley - Wikipedia

J. Roger Hindley je prominentní britský logik nejlépe známý pro Algoritmus odvození Hindley – Milnerova typu. Od roku 1998 působí jako čestný vědecký pracovník v Swansea University.^[1]

Vzdělávání

Hindley absolvoval v roce 1960 Queen's University Belfast, zbývající k získání titulu M.Sc. v roce 1961.

On pokračoval k získání Ph.D. v roce 1964 od University of Newcastle upon Tyne, kde byl jeho vedoucí práce Ronald Harrop. Později se vrátil na Queenovu univerzitu na D.Sc. v roce 1991.

Vybrané publikace

• Hindley, J. Roger (1969), „Základní typové schéma objektu v kombinační logice“, Transakce Americké matematické společnosti, 146: 29–60, doi:10.2307/1995158, JSTOR  1995158, PAN  0253905.

• Hindley, J. Roger (2008), Základní teorie jednoduchých typů (2. vyd.), Cambridge University Press, ISBN  9780521054225, vyvoláno 22. června 2009.

Reference

Tento článek o britském matematikovi je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.