Philip Wadler

Philip Wadler
Philip Wadler à l'université d'Edimbourgh (déc. 2008).
Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
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 (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[1].

En 2006, Wadler travaille à un nouveau langage fonctionnel, Links (en), conçu pour écrire des applications web.

Références

  1. ↑ Voir la présentation de la publication en son honneur : Sam Lindley (éd), Conor McBride (éd), Phil Trinder (éd) et Don Sannella (éd), A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, Springer, .

Liens externes

  • icône décorative Portail de la programmation informatique
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail du Royaume-Uni
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.