Philip Wadler

From Infogalactic: the planetary knowledge core
Jump to: navigation, search
Phil Wadler
File:Wadler2.JPG
Philip Wadler before a lecture at the University of Edinburgh.
Born Philip Lee Wadler
(1956-04-08) April 8, 1956 (age 68)
Fields Programming languages[1]
Institutions <templatestyles src="Plainlist/styles.css"/>
Alma mater <templatestyles src="Plainlist/styles.css"/>
Thesis Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984)
Doctoral advisor Nico Habermann[2]
Doctoral students <templatestyles src="Plainlist/styles.css"/>
  • Ezra Cooper[2]
  • Kei Davis[2]
  • DeLesley Hutchins[3]
  • David Lester[4]
  • Simon Marlow[5]
  • Philip Trinder[6]
  • Jeremy Yallop[7]
Notable awards <templatestyles src="Plainlist/styles.css"/>
Website
homepages.inf.ed.ac.uk/wadler
wadler.blogspot.com

Philip Lee "Phil" Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming[8] and the use of monads in functional programming, the design of the purely functional language Haskell,[9] and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0.[10] He is also author of the paper "Theorems for free!"[11] that gave rise to much research on functional language optimization (see also Parametricity).

Education

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.[12] 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.[2]

Research

Wadler's research interests[13][1][14] are in programming languages.[10][15]

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.[12] 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.[16]

Academic service

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.[12][17] 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.[18]

References

<templatestyles src="Reflist/styles.css" />

Cite error: Invalid <references> tag; parameter "group" is allowed only.

Use <references />, or <references group="..." />

External links

  • Media related to Lua error in package.lua at line 80: module 'strict' not found. at Wikimedia Commons

Lua error in package.lua at line 80: module 'strict' not found.

  1. ↑ 1.0 1.1 Philip Wadler's publications indexed by Google Scholar, a service provided by Google
  2. ↑ 2.0 2.1 2.2 2.3 Philip Wadler at the Mathematics Genealogy Project
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  4. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  5. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  6. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  7. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  8. ↑ http://www.oreillynet.com/pub/au/2440 Philip Wadler: Biography at O'Reilly Media.
  9. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  10. ↑ 10.0 10.1 Lua error in package.lua at line 80: module 'strict' not found.
  11. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  12. ↑ 12.0 12.1 12.2 Philip Wadler vita.
  13. ↑ Philip Wadler's publications indexed by the DBLP Bibliography Server at the University of Trier
  14. ↑ Philip Wadler's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
  15. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  16. ↑ Philip Wadler, School of Informatics, University of Edinburgh, UK.
  17. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  18. ↑ Links programming language group, University of Edinburgh, UK.
Retrieved from "https://infogalactic.com/w/index.php?title=Philip_Wadler&oldid=1421747"