Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Haskell Curry

Also Known As Haskell Brooks Curry · Haskell B. Curry · H.B. Curry
Software And Its Engineering

Haskell Brooks Curry was an American mathematician and computer scientist, best known for his work in combinatory logic. Curry is also known for Curry's paradox and the Curry-Howard correspondence; the programming languages Haskell, Brook and Curry are named for him, as is the concept of currying. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Birth Year
1900 1
Birth Date
1900-09-12 1
Death Year
1982 1
Death Date
1982-09-01 1
Haskell Curry
Filter Results1 entry

Curry-Howard Correspondence

Haskell Curry
Connections

In Field

Theory of Computation, Fields
Source Wikipedia: Haskell Curry

Invented

Curry-Howard Correspondence, Concepts

Haskell Curry observed the correspondence between combinatory logic and intuitionistic logic in the 1930s that gives the correspondence half its name.

In the Other Atlases

Same As

Haskell Curry

Also in Mathematics Atlas: the same subject.

Haskell Curry

Also in Philosophy Atlas: the same subject.

Nationality

United States

Also in Geography Atlas: the nationality of this subject.

Sources
1. Wikipedia: Haskell Curry
Wikimedia Foundation
  • Lead section
    Haskell Brooks Curry ( HAS-kəl; September 12, 1900 - September 1, 1982) was an American mathematician and computer scientist. Curry is best known for his work in combinatory logic.
  • Infobox, Born
    September 12, 1900
  • Infobox, Died
    September 1, 1982
View the Source
Wikidata: Haskell Curry
Wikidata Q92611, class allow-list match (w-wdresolver-0926)View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.