HASKELL - Key Persons

Haskell B. Curry

Haskell Brooks Curry was a mathematician who made significant contributions to logic and computer science. He was born in 1900 and died in 1982. Today, three programming languages are named after him, Haskell, Brooks, and Curry, and the technique of transforming a multi-argument function into a sequence of single-argument function is called "currying" in his honor. Together with the logician Alvin Howard, he developed the idea of "propositions as types," now known as the Curry-Howard correspondence. His work also played a critical part in developing the idea that logical systems based on self-recursive expressions are inconsistent.

Tom Ellis

Job Titles:

Vice Chair of Committee
Vice Chair, Vice Treasurer ) ( Term Ends 2024 )

Committee members do not need to be deep technical Haskell experts. Instead we look for enthusiasm towards improving the Haskell community. We aim to represent the different facets of the community. We aim to be diverse in terms of industry or research, and in terms of gender, race and location.