MPG.eBooks - Author Search Results

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

Cover Image

1

Lambda-calculus and combinators, an introduction

by Hindley, J. Roger, Seldin, J. P.
Published 2008

Cambridge University Press

Cover Image

2

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

by Groote, Philippe de
Published 1997

Springer Berlin Heidelberg

Other Authors: “...Hindley, J Roger...”

Cover Image

3

Combinatory logic, Volume II

by Curry, Haskell B.
Published 1972

North-Holland Pub. Co

Other Authors: “...Hindley, J. Roger...”

Cover Image

4

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

Springer Berlin Heidelberg

Other Authors: “...Hindley, J. Roger...”