# J. Roger Hindley

**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

Hindley graduated in 1960 from Queen's University Belfast, remaining to earn a M.Sc. in 1961.

He went on to receive a Ph.D. in 1964 from 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.

## Selected publications

- 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 June 22, 2009.

This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.