nLab
Haskell Curry

Haskell Curry (b. September 12, 1900; d. September 1, 1982) was an American mathematician known for his work in developing combinatory logic. His name appears in concepts such as currying and the Curry-Howard correspondence, as well as the computer programming language Haskell.

category: people

Revised on July 1, 2017 22:41:36 by David Roberts (120.20.199.43)