Philip Wadler

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Philip Wadler
Wadler2.JPG

Philip Wadler à l'université d'Edimbourgh (déc. 2008).

Biographie
Naissance
Voir et modifier les données sur Wikidata (61 ans)
Nationalité
Formation
Activités
Autres informations
Membre de
Directeur de thèse
Nico Habermann (en)Voir et modifier les données sur Wikidata
Distinction

Philip Wadler (né aux États-Unis le ) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types.

Biographie[modifier | modifier le code]

Philip Wadler a contribué en particulier à la théorie de la programmation fonctionnelle (notamment ses liens avec la logique qu'elle soit classique ou linéaire), à la conception du langage fonctionnel Haskell, et au langage déclaratif de requêtes XQuery. Il est professeur d'informatique théorique à la School of Informatics à l'université d'Édimbourg. C'est un orateur qui exprime avec force et enthousiasme ses convictions[réf. souhaitée].

En 2006, Wadler travaille à un nouveau langage fonctionnel, Links (en), conçu pour écrire des applications web.

Liens externes[modifier | modifier le code]