Philip Wadler
| Phil Wadler | |
|---|---|
 Philip Wadler before a lecture at the University of Edinburgh. |
|
| Born | April 8, 1956 |
| Institutions | University of Edinburgh Avaya Labs Bell Labs University of Glasgow University of Sydney University of Copenhagen University of Oxford Chalmers University of Technology Carnegie-Mellon University Stanford University |
| Alma mater | Stanford University Carnegie-Mellon University |
| Thesis | Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984) |
| Doctoral advisor | Nico Habermann |
| Doctoral students | Philip Trinder,[1] Kei Davis,[2] Ezra Cooper,[2] Jeremy Yallop,[3] DeLesley Hutchins[4] |
| Notable awards | Fellow of the Royal Society of Edinburgh Fellow of the Association for Computing Machinery |
| Website | |
| homepages.inf.ed.ac.uk/wadler wadler.blogspot.com |
|
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[5] and the use of monads in functional programming, the design of the purely functional language Haskell,[6] and the XQuery declarative query language. In 1984, he created the Orwell programming language. He is also author of the paper "Theorems for free!"[7] that gave rise to much research on functional language optimization (see also Parametricity).
Contents |
Education [edit]
Wadler received a Bachelor of Science degree in Mathematics from Stanford University in 1977, and a Master of Science degree in Computer Science from Carnegie-Mellon University in 1979.[8] He completed his Doctor of Philosophy in Computer Science at Carnegie-Mellon University in 1984. His thesis was entitled "Listlessness is Better than Laziness" and was supervised by Nico Habermann.
Research [edit]
Wadler's research interests[9][10] are in programming languages.[11][12]
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.[8] 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.[13]
Academic service [edit]
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.[8][14] 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.[15]
References [edit]
- ^ Trinder, Phil (1989). A functional database (DPhil thesis). University of Oxford. http://solo.bodleian.ox.ac.uk/primo_library/libweb/action/display.do?doc=oxfaleph016035193.
- ^ a b Philip Wadler at the Mathematics Genealogy Project
- ^ http://www.era.lib.ed.ac.uk/handle/1842/4683
- ^ http://www.era.lib.ed.ac.uk/handle/1842/3937
- ^ http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media.
- ^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P. et al. (1992). "Report on the programming language Haskell". ACM SIGPLAN Notices 27 (5): 1. doi:10.1145/130697.130699.
- ^ Wadler, Philip (September 1989). "Theorems for free!". 4th Int'l Conf. on Functional Programming and Computer Architecture. London.
- ^ a b c Philip Wadler vita.
- ^ List of publications from the DBLP Bibliography Server
- ^ List of publications from Google Scholar
- ^ Bird, Richard Miller; Wadler, Philip (1998). Introduction to functional programming using Haskell. New York: Prentice Hall Europe. ISBN 0-13-484346-0.
- ^ Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN 0-596-52775-6.
- ^ Philip Wadler, School of Informatics, University of Edinburgh, UK.
- ^ Peyton Jones, S. L.; Wadler, P. (1993). "Imperative functional programming". Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. p. 71. doi:10.1145/158511.158524. ISBN 0897915607.
- ^ Links programming language group, University of Edinburgh, UK.
|
- 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
- Members of IFIP Working Group 2.8
- 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
