Philip Wadler

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Philip Wadler

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

Biographie
Naissance	8 avril 1956 (68 ans) États-Unis
Nationalité	Américaine
Formation	Université Stanford Université Carnegie-Mellon
Activités	Informaticien, ingénieur, professeur d'université

Autres informations
A travaillé pour	Université d'Édimbourg (depuis 2003) Laboratoires Bell (1996-2000) Université de Glasgow (1987-1996)
Membre de	Royal Society of Edinburgh Association for Computing Machinery UK Computing Research Committee (d)
Directeurs de thèse	Nico Habermann (en), Guy Lewis Steele
Site web	homepages.inf.ed.ac.uk/wadler
Distinctions	SIGPLAN Distinguished Service Award (2016) ACM Fellow Membre de la Royal Society of Edinburgh

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

Biographie modifier

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.