Philip Wadler

Phil Wadler
FRS FRSE
Phil Wadler FRS FRSE
	Wadler before a lecture at the University of Edinburgh
Born	Philip Lee Wadler; April 8, 1956 (age 68)
Citizenship	American
Alma mater	Stanford University (BSc); Carnegie Mellon University (PhD);
Known for	Theory of functional programming, monads; Contributions to languages: Haskell, XQuery; Created language Orwell; Helped add generic types to Java 5; Wrote "Theorems for free!;
Awards	Fellow of the Royal Society of Edinburgh (2005); ACM Fellow (2007); ACM Distinguished Service Award (2016); Fellow of the Royal Society (2023);
	Scientific career
Fields	Computer science, programming languages
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;
Thesis	Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984)
Doctoral advisor	Nico Habermann
Website	homepages.inf.ed.ac.uk/wadler/

Philip Lee Wadler (born April 8, 1956) FRS FRSE is a UK-based American computer scientist known for his contributions to programming language design and type theory. He is the chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming^[1] and the use of monads; and the designs of the purely functional language Haskell^[2] and the XQuery declarative query language. In 1984, he created the Orwell language. Wadler was involved in adding generic types to Java 5.0.^[3] He is also author of "Theorems for free!",^[4] a paper that gave rise to much research on functional language optimization (see also Parametricity).^[5]

^ "Philip Wadler: Biography". O'Reilly Media. Retrieved March 20, 2017.
^ Hudak, P.; Johnsson, T.; Kieburtz, D.; Nikhil, R.; Partain, W.; Peterson, J.; Peyton Jones, S.; Wadler, P.; Boutel, B.; Fairbairn, J.; Fasel, J.; Guzmán, M. A. M.; Hammond, K.; Hughes, J. (1992). "Report on the programming language Haskell". ACM SIGPLAN Notices. 27 (5): 1. doi:10.1145/130697.130699. S2CID 15516611.
^ Wadler, Philip; Naftalin, Maurice (2007). Java generics and collections. Sebastopol, CA: O'Reilly. ISBN 978-0-596-52775-4.
^ Wadler, P. (1989). "Theorems for free!". Proceedings of the fourth international conference on Functional programming languages and computer architecture – FPCA '89. p. 347. doi:10.1145/99370.99404. ISBN 978-0897913287. S2CID 5513047.
^ "Professor Philip Wadler: Functional Programming In Finance" on YouTube

Phil Wadler FRS FRSE
Wadler before a lecture at the University of Edinburgh
Born	Philip Lee Wadler (1956-04-08) April 8, 1956 (age 68)
Citizenship	American
Alma mater	Stanford University (BSc) Carnegie Mellon University (PhD)
Known for	Theory of functional programming, monads Contributions to languages: Haskell, XQuery Created language Orwell Helped add generic types to Java 5 Wrote "Theorems for free!
Awards	Fellow of the Royal Society of Edinburgh (2005) ACM Fellow (2007) ACM Distinguished Service Award (2016) Fellow of the Royal Society (2023)
Scientific career
Fields	Computer science, programming languages
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
Thesis	Listlessness is Better than Laziness: An Algorithm that Transforms Applicative Programs to Eliminate Intermediate Lists (1984)
Doctoral advisor	Nico Habermann

Website	homepages.inf.ed.ac.uk/wadler/