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.
Naissance | (68 ans) États-Unis |
---|---|
Nationalité | Américaine |
Formation | |
Activités | Informaticien, ingénieur, professeur d'université |
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 | homepages.inf.ed.ac.uk/wadler |
Distinctions |
modifier - modifier le code - modifier Wikidata
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
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
- Site officiel
- Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Google Scholar
- Mathematics Genealogy Project
- Scopus
- Semantic Scholar
- Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Japon
- CiNii
- Pays-Bas
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie
- WorldCat
- page principale de Philip Wadler
- langage informatique Links
- Portail de la programmation informatique
- Portail de l'informatique théorique
- Portail du Royaume-Uni