Philip Wadler
 |
This article may require cleanup to meet Wikipedia's quality standards. (Consider using more specific cleanup instructions.) Please help improve this article if you can. The talk page may contain suggestions. (August 2011) |
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[1] 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!"[2] that gave rise to much research on functional language optimization (see also Parametricity).
Wadler received a BS degree in Mathematics from Stanford University in 1977, an MS degree in Computer Science from Carnegie-Mellon University in 1979.[3] 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.[3] 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.[4]
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.[3][5] 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.[6]
[edit] Books
- Richard Bird and Philip Wadler, Introduction to Functional Programming. Prentice Hall International Series in Computing Science, 1988. ISBN 978-0134841977. 2nd edition, 1998, ISBN 978-0134843469.
- M. Naftalin and Philip Wadler, Java Generics and Collections, O'Reilly Media, 2006. ISBN 978-0596527754.
[edit] References
- ^ Philip Wadler: Biography, O'Reilly.
- ^ Wadler, Philip (September 1989). "Theorems for free!". 4th Int'l Conf. on Functional Programming and Computer Architecture. London. http://citeseer.ist.psu.edu/wadler89theorems.html.
- ^ a b c Philip Wadler vita.
- ^ Philip Wadler, School of Informatics, University of Edinburgh, UK.
- ^ Simon L. Peyton Jones and Philip Wadler, Imperative functional programming. In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, USA, 1993. doi:10.1145/158511.158524
- ^ Links programming language group, University of Edinburgh, UK.
[edit] External links
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
- 1956 births
- Living people
- Stanford University alumni
- Carnegie Mellon University alumni
- American computer scientists
- British computer scientists
- Members of Oxford University Computing Laboratory
- Fellows of St Cross College, Oxford
- Academics of the University of Glasgow
- Scientists at Bell Labs
- Academics of the University of Edinburgh
- Functional programming
- Programming language researchers
- Formal methods people
- Academic journal editors
- Computer science writers
- American textbook writers
- Fellows of the Royal Society of Edinburgh
- Fellows of the Association for Computing Machinery
- American expatriates in the United Kingdom
- British computer specialist stubs
