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, Roger', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Combinatory reductions and lambda reductions

    Combinatory reductions and lambda reductions by Hindley, Roger

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Some remarks about the connections between combinatory logic and axiomatic recursion theory

    Some remarks about the connections between combinatory logic and axiomatic recursion theory by Hindley, Roger, Mitschke, Gerd

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: