Search Results - Hindley, J. Roger

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. Provided by Wikipedia
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Introduction to combinators and [lambda]-calculus

    Introduction to combinators and [lambda]-calculus by Hindley, J. Roger

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: