Sign in with Facebook
Lambda-Calculus and Combinators Quotes
Lambda-Calculus and Combinators: An Introduction
by
J. Roger Hindley23 ratings, 3.83 average rating, 1 review
Open Preview
Lambda-Calculus and Combinators Quotes
Showing 1-1 of 1
“[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].”
― Lambda-Calculus and Combinators: An Introduction
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].”
― Lambda-Calculus and Combinators: An Introduction
