Concept

J. Roger Hindley

Overview

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.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• United Kingdom
• Swansea University
• Logic
• University of Bristol
• Pennsylvania State University

Place in the tradition

Part of Noncommutative logic.

Explore J. Roger Hindley in the interactive graph →