# Haskell Curry

**Haskell Brooks Curry** (

September 12,

1900 -

September 1,

1982) was an

American mathematician and

logician. Born in

Millis, Massachusetts, he was educated at

Harvard University and received a

doctorate from

Göttingen in

1930. He taught at Harvard,

Princeton, and then beginning at

1929 for 35 years at

Pennsylvania State University. In

1966 he became professor of mathematics at

Amsterdam. He died in State College,

Pennsylvania.

Curry's main work was in mathematical logic, especially in the theory of formal systems and processes - combinatory logic, the foundation for functional programming languages. His works includes *Combinatory Logic* (1958) and *Foundations of Mathematical Logic* (1963).

The functional computer languages Haskell and Curry are named after him, as is the process of currying in functional programming languages.