2026 Philip Wadler: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	71	1735	1681	96	95	217	30348

Research.com Recognitions

2025 - Research.com Computer Science in United Kingdom Leader Award
2023 - Research.com Computer Science in United Kingdom Leader Award
2022 - Research.com Computer Science in United Kingdom Leader Award
2007 - ACM Fellow For contributions to the theory of programming languages.
2005 - Fellow of the Royal Society of Edinburgh

Overview

Philip Wadler is affiliated with the University of Edinburgh in the United Kingdom. Their primary field of study is Computer Science, with a research focus that encompasses several subfields including Artificial Intelligence, Computational Theory and Mathematics, Information Systems, Computer Networks and Communications, and Software.

The main topics covered in Wadler's research include:

Logic, programming, and type systems
Formal Methods in Verification
Semigroups and automata theory
Logic, Reasoning, and Knowledge
Blockchain Technology Applications and Security
Cryptography and Data Security
Distributed systems and fault tolerance

Wadler has contributed to a range of recent publications. Notable papers include:

Programming language foundations in Agda, 2020, Science of Computer Programming
Featherweight go, 2020, Proceedings of the ACM on Programming Languages
Blame and coercion: Together again for the first time, 2021, Journal of Functional Programming
Towards Races in Linear Logic, 2020, DOAJ (DOAJ: Directory of Open Access Journals)
Leibniz equality is isomorphic to Martin-Löf identity, parametrically, 2020, Journal of Functional Programming

Frequent co-authors in Wadler's work include:

Donald Sannella
Michael Fourman
Haoran Peng
Wen Kokke
Manuel M. T. Chakravarty

Philip Wadler's publications have appeared in several recurring venues such as:

Journal of Functional Programming
Science of Computer Programming
Electronic Proceedings in Theoretical Computer Science
Proceedings of the ACM on Programming Languages
DOAJ (DOAJ: Directory of Open Access Journals)

In addition to articles, Wadler has authored works in academic books. One example is a publication titled Introduction to Computation (2021) published under the series Undergraduate Topics in Computer Science.

Recognition of Wadler's contributions includes awards such as:

ACM Fellow (2007), noted for contributions to the theory of programming languages
Fellow of the Royal Society of Edinburgh (2005)

Best Publications

Programming Languages and Systems

Philip Wadler;Robert Bruce Findler

2372
Citations
Featherweight Java: a minimal core calculus for Java and GJ

Atsushi Igarashi;Benjamin C. Pierce;Philip Wadler

2182
Citations
Report on the programming language Haskell: a non-strict, purely functional language version 1.2

Paul Hudak;Simon Peyton Jones;Philip Wadler;Brian Boutel

2085
Citations
Comprehending monads

Philip Wadler

1348
Citations
Imperative functional programming

Simon L. Peyton Jones;Philip Wadler

1231
Citations
How to make ad-hoc polymorphism less ad hoc

P. Wadler;S. Blott

1175
Citations
The essence of functional programming

Philip Wadler

1155
Citations
Deforestation: transforming programs to eliminate trees

Philip Wadler

1148
Citations
Theorems for free

Philip Wadler

1083
Citations
Formal Methods for Components and Objects

Ezra Cooper;Sam Lindley;Philip Wadler;Jeremy Yallop

950
Citations
Monads for Functional Programming

Philip Wadler

936
Citations
Making the future safe for the past: adding genericity to the Java programming language

Gilad Bracha;Martin Odersky;David Stoutamire;Philip Wadler

791
Citations
Pizza into Java: translating theory into practice

Martin Odersky;Philip Wadler

697
Citations
Linear Types can Change the World

Philip Wadler

636
Citations
A call-by-need lambda calculus

Zena M. Ariola;John Maraist;Martin Odersky;Matthias Felleisen

491
Citations
A history of Haskell: being lazy with class

Paul Hudak;John Hughes;Simon Peyton Jones;Philip Wadler

473
Citations
Links: web programming without tiers

Ezra Cooper;Sam Lindley;Philip Wadler;Jeremy Yallop

472
Citations
Propositions as sessions

Philip Wadler

425
Citations
A statically safe alternative to virtual types

K. B. Bruce;M. Odersky;P. Wadler

369
Citations
How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages

Philip Wadler

366
Citations
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

Paul Hudak;Simon L. Peyton Jones;Philip Wadler;Brian Boutel

361
Citations
The call-by-need lambda calculus

John Maraist;Martin Odersky;Philip Wadler

188
Citations

Frequent Co-Authors

Simon Jones Microsoft (United States)

Martin Odersky École Polytechnique Fédérale de Lausanne

James Cheney University of Edinburgh

Paul Hudak Yale University

Jeremy G. Siek Indiana University

John Hughes Chalmers University of Technology

Robert Bruce Findler Northwestern University

Ranjit Jhala University of California, San Diego

Benjamin C. Pierce University of Pennsylvania

Nobuko Yoshida University of Oxford

External Links

Wikipedia of Philip Wadler Personal website of Philip Wadler Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

For students considering Computer Science studies in the USA, exploring related online degree pathways offers flexibility, affordability, and career advancement opportunities. Many learners are now opting for accelerated associate degree options, such as the accelerated associate degree, to quickly build foundational tech skills and enter the workforce sooner.

Budget-conscious individuals can also benefit from seeking out the affordable online business degree programs, which provide valuable business and management insights essential for tech leadership roles. Meanwhile, those aiming for comprehensive undergraduate training should consider the cheapest bachelor degree options. These degrees make quality education more accessible and reduce student debt.

Additionally, specialized tech programs like engineering online programs offer a strong complement to Computer Science, broadening career prospects in rapidly growing STEM fields. By choosing the right pathway, students can tailor their education to meet their personal goals and financial circumstances.