Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. He is also author of the paper "Theorems for free!" that gave rise to much research on functional language optimization.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. He is also author of the paper "Theorems for free!" that gave rise to much research on functional language optimization. Wadler received a BS degree in Mathematics from Stanford University in 1977, an MS degree in Computer Science from Carnegie-Mellon University in 1979. He completed his PhD in Computer Science at Carnegie-Mellon University in 1984. His thesis was entitled "Listlessness is Better than Laziness" and was supervised by Nico Habermann. Wadler was a Research Fellow at the Programming Research Group (part of the Oxford University Computing Laboratory) and St Cross College, Oxford during 1983–87. He was progressively Lecturer, Reader, and Professor at the University of Glasgow from 1987–96. Wadler was a Member of Technical Staff at Bell Labs, Lucent Technologies (1996–99) and then at Avaya Labs (1999–2003). Since 2003, he has been Professor of Theoretical Computer Science in the School of Informatics at the University of Edinburgh. Wadler was editor of the Journal of Functional Programming from 1990–2004. He received the Most Influential POPL Paper Award in 2003 for the 1993 POPL Symposium paper Imperative Functional Programming, jointly with Simon Peyton Jones. In 2005, he became a Fellow of the Royal Society of Edinburgh. In 2007, he was inducted as a Fellow of the Association for Computing Machinery. Wadler is currently working on a new functional language designed for writing web applications, called Links.
- Fichier:Wadler2. JPG Philip Wadler à l'Université d'Edimbourgh Philip Wadler est un informaticien britannique connu pour ses contributions à la conception des langages de programmation et de la théorie des types. Il 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 enthousiame ses convictions. En 2006, Wadler travaille à un nouveau langage fonctionnel conçu pour écrire des applications web. Ce langage est links.
|
| dbpedia-owl:thumbnail
| |
| dbpedia-owl:wikiPageExternalLink
| |
| dbpprop:id
| |
| dbpprop:name
| |
| dbpprop:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Philip Wadler (born 8 April 1956, USA) is a computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. He is also author of the paper "Theorems for free!" that gave rise to much research on functional language optimization.
- Fichier:Wadler2. JPG Philip Wadler à l'Université d'Edimbourgh Philip Wadler est un informaticien britannique connu pour ses contributions à la conception des langages de programmation et de la théorie des types. Il 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.
|
| rdfs:label
|
- Philip Wadler
- Philip Wadler
|
| owl:sameAs
| |
| foaf:depiction
| |
| foaf:page
| |
| is dbpedia-owl:designer
of | |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpprop:designer
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
