Haskell Curry
Haskell Curry was an American mathematician and logician, born on September 12, 1900, and known for his work in combinatory logic and functional programming. He contributed significantly to the foundations of computer science and is often associated with the development of the Curry-Howard correspondence, which connects logic and computation.
Curry's influence extends to the programming language Haskell, named in his honor, which emphasizes functional programming principles. His research laid the groundwork for many concepts in lambda calculus and type theory, making him a key figure in the evolution of modern programming languages and mathematical logic.