Haskell Curry

Carte Commune · n° 495044

Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) est un logicien et mathématicien américain. Ses travaux posent les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en développe la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, Brook (en) et Curry (en) - de même que l'opération de curryfication.

Lire sur Wikipédia · Image Unknown (yearbook staff or photographer), Public domain