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 - 2 results of 2 for search 'Hindley, J. Roger', query time: 0.01s Refine Results
  1. 1
    Introduction to combinatory logic /
    by Hindley, J. Roger
    Published 1972
    Book
  2. 2
    Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
    Published 1997
    Other Authors: “…Hindley, J. Roger…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search