Loading AI tools
informaticien britannique De Wikipédia, l'encyclopédie libre
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.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Naissance | |
|---|---|
| Nationalité | |
| 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 |
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 (en), conçu pour écrire des applications web.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
