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

Last revised on July 2, 2017 at 02:41:36. See the history of this page for a list of all contributions to it.