Philip Wadler
Universities UK(GB)Institut Input(DE)University of Edinburgh(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Advanced Database Systems and Queries, Software Engineering Research
Most-Cited Works
- → Imperative functional programming(1993)1,235 cited
- → Report on the programming language Haskell(1992)1,021 cited
- → Featherweight Java(2001)991 cited
- → Theorems for free!(1989)772 cited
- → How to make ad-hoc polymorphism less ad hoc(1989)766 cited
- → Deforestation: transforming programs to eliminate trees(1990)706 cited
- → The essence of functional programming(1992)674 cited