Wikipédia en français - L'encyclopé...
Download this dictionary
Haskell Curry
Haskell Brooks Curry
(né le et mort le ) était un
logicien
et
mathématicien
américain
. Ses travaux ont posé 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 a développé 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
, et .
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.