Philip Wadler

From Wikipedia, the free encyclopedia

Philip Wadler before a lecture at the University of Edinburgh

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!"^[1] that gave rise to much research on functional language optimization (see also Parametricity). 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.

[edit] External links

• Philip Wadler's home page
• Links programming language

[edit] References

1. ^ Wadler, Philip (September 1989). "Theorems for free!". 4th Int'l Conf. on Functional Programming and Computer Architecture. 

This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it.