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 - 3 results of 3 for search 'Hindley, J. Roger', query time: 0.01s Refine Results
  1. 1
    Introduction to combinatory logic
    by Hindley, J. Roger
    Published 1972
    Other Authors: “...Hindley, J. Roger...”
    Printed Book
  2. 2
    Lambda-calculus and combinators, an introduction /
    by Hindley, J. Roger
    Published 2008
    Other Authors: “...Hindley, J. Roger...”
    Printed Book
  3. 3
    Lambda-calculus and combinators, an introduction /
    by Hindley, J. Roger
    Published 2008
    Printed Book
Search Tools: Get RSS Feed — Email this Search