Notable awards FRSE
FACM Doctoral advisor Nico Habermann Fields Programming language | Role Computer scientist Name Philip Wadler | |
![]() | ||
Born Philip Lee Wadler
April 8, 1956 (age 68) ( 1956-04-08 ) 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 (BSc)
Carnegie Mellon University (PhD) Thesis Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984) Doctoral students Ezra Cooper
Kei Davis
DeLesley Hutchins
David Lester
Simon Marlow
Philip Trinder
Jeremy Yallop Books Introduction to functional programming Education Carnegie Mellon University, Stanford University Similar People Simon Peyton Jones, Paul Hudak, Martin Odersky |
propositions as types by philip wadler
Philip Lee 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 and the use of monads in functional programming, the design of the purely functional language Haskell, 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. He is also author of the paper Theorems for free! that gave rise to much research on functional language optimization (see also Parametricity).
Contents
- propositions as types by philip wadler
- Philip wadler church s coincidences
- Education
- Research and career
- Awards and honours
- References
Philip wadler church s coincidences
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. 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 and career
Wadler's research interests are in programming languages.
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. 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.
Wadler was editor of the Journal of Functional Programming from 1990–2004. Wadler is currently working on a new functional language designed for writing web applications, called Links. He has supervised numerous doctoral students to completion.
Awards and honours
Wadler received the Most Influential POPL Paper Award in 2003 for the 1993 POPL Symposium paper Imperative Functional Programming, jointly with Simon Peyton Jones. In 2005, he was elected Fellow of the Royal Society of Edinburgh. In 2007, he was inducted as an ACM Fellow by the Association for Computing Machinery (ACM).