Philip Wadler is a computer scientist well-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 famous paper "Theorems for free!" that gave rise to much research on functional language optimization.

PropertyValue
dbpedia-owl:thumbnail
dbpprop:abstract
  • Philip Wadler is a computer scientist well-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 famous paper "Theorems for free!" that gave rise to much research on functional language optimization. He is presently a professor of Theoretical Computer Science in the School of Informatics at the University 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.
  • 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.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • Philip Wadler is a computer scientist well-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 famous paper "Theorems for free!" that gave rise to much research on functional language optimization.
  • 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
skos:subject
foaf:depiction
foaf:page
is dbpprop:designer of
is dbpprop:quoteProperty of
is dbpprop:redirect of
is owl:sameAs of