J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.[1]
J. Roger Hindley | |
---|---|
Born | 1939 |
Alma mater | Queen's University Belfast |
Known for | Hindley–Milner type inference algorithm |
Scientific career | |
Fields | Logic, Type theory |
Institutions | Swansea University |
Doctoral advisor | Ronald Harrop |
Education
editHindley graduated in 1960 from Queen's University Belfast, remaining to earn an M.Sc. in 1961.
He went on to receive a Ph.D. in 1964 from the University of Newcastle upon Tyne, where his thesis supervisor was Ronald Harrop. Later, he returned to Queen's University for a D.Sc. in 1991.
He taught at Penn State University (1964–1966), Bristol University (1966–1968), and has been at Swansea University since 1968.
Selected publications
edit- Hindley, J. Roger (1969), "The principal type-scheme of an object in combinatory logic", Transactions of the American Mathematical Society, 146: 29–60, doi:10.2307/1995158, JSTOR 1995158, MR 0253905.
- Hindley, J. Roger (2008), Basic simple type theory (2nd ed.), Cambridge University Press, ISBN 9780521054225, retrieved 22 June 2009.
References
edit🔥 Top keywords: Akademia e Shkencave e RPS te ShqiperiseAlexandria Ocasio-CortezBilderberg GroupCristiano RonaldoDong XiaowanMinecraftOperation GladioPrimal cutRiot FestStrictly Come Dancing (series 7)Main PageSpecial:SearchWikipedia:Featured picturesUEFA Euro 2024Donald SutherlandJacob FatuInside Out 2CleopatraUFC on ABC: Whittaker vs. AliskerovDeaths in 2024List of teams that have overcome 3–0 series deficitsCristiano RonaldoUEFA European ChampionshipChappell RoanJessica AlbaSam FatuHouse of the Dragon2024 Copa AméricaYouTubeRomelu Lukaku.xxxSherri Papini kidnapping hoaxPepe (footballer, born 1983)Project 2025The BikeridersTaylor Wily2024 ICC Men's T20 World CupSabrina CarpenterKiefer SutherlandThe Boys (TV series)Copa AméricaKalki 2898 ADHinduja GroupTaylor SwiftOpinion polling for the 2024 United Kingdom general electionThe Boys season 4BridgertonShania TwainGeorgia (country)