Haskell Curry Dead
Pioneered combinatory logic; the Haskell language, currying, and the Curry–Howard correspondence all carry his name.
1875190019251950197520002025
Developed combinatory logic (1920s–30s) — computation without variables — and the Curry–Howard correspondence linking proofs to programs.\n\nHaskell and 'currying' are named for him; combinators are the theoretical bedrock of lazy functional languages.