Philip Wadler
informaticien britannique
From Wikipedia, the free encyclopedia
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.
Cet article est une ébauche concernant l’informatique.
| Naissance | |
|---|---|
| Nationalités | |
| Formation | |
| Activités |
| A travaillé pour |
Université d'Édimbourg (depuis ) Laboratoires Bell (- Université de Glasgow (- |
|---|---|
| Membre de |
Association for Computing Machinery () Royal Society of Edinburgh UK Computing Research Committee (d) |
| Directeurs de thèse |
Nico Habermann (en), Guy Lewis Steele |
| Site web | |
| Distinctions |
Biographie
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[1].
En 2006, Wadler travaille à un nouveau langage fonctionnel, Links, conçu pour écrire des applications web.
