J. Roger Hindley

J. Roger Hindley’s Followers (1)

member photo

J. Roger Hindley


Website


Average rating: 3.9 · 41 ratings · 1 review · 5 distinct works
Lambda-Calculus and Combina...

by
3.83 avg rating — 23 ratings — published 2008 — 6 editions
Rate this book
Clear rating
Basic Simple Type Theory (C...

really liked it 4.00 avg rating — 14 ratings — published 1997 — 5 editions
Rate this book
Clear rating
Introduction to Combinators...

by
really liked it 4.00 avg rating — 4 ratings — published 1986 — 3 editions
Rate this book
Clear rating
Introduction to Combinatory...

by
0.00 avg rating — 0 ratings
Rate this book
Clear rating
To H. B. Curry

by
0.00 avg rating — 0 ratings — published 1980
Rate this book
Clear rating
More books by J. Roger Hindley…
Quotes by J. Roger Hindley  (?)
Quotes are added by the Goodreads community and are not verified by Goodreads. (Learn more)

“[Currying] Named after Haskell Curry, one of the inventors of combinatory logic. Curry
always insisted that he got the idea of using h from M. Schönfinkel’s [Sch24] (see
[CF58, pp. 8, 10]), but most workers seem to prefer to pronounce ‘currying’ rather
than ‘schönfinkeling’. The idea also appeared in 1893 in [Fre93, Vol. 1, Section 4].”
J. Roger Hindley, Lambda-Calculus and Combinators: An Introduction



Is this you? Let us know. If not, help out and invite J. to Goodreads.