Grands noms de l'informatique

(1900-1982). Mathématicien américain (?) s'étant particulièrement intéressé à la logique et à la théorie des systèmes formels. On lui a volé son prénom pour baptiser un langage : Haskell, et son nom pour la curryfication.

(01-10-2003).