Philip Wadler : Biographie, Liens externes Wikipédia, l'encyclopédie libre

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

modifier - modifier le code - modifier Wikidata

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

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.