search
Get Started
search

swap_horiz Philip Wadler Alternatives

Looking for alternatives to Philip Wadler? Compare the top Computer Scientist options ranked by our AI scoring system.

You're looking at alternatives to:
Philip Wadler

Philip Wadler

Philip Wadler is a professor of theoretical computer science at the University of Edinburgh. He is a co-designer of the Haskell programming language and is credited with introducing monads as a practical structuring mechanism for functional programming, an approach that has been adopted across funct...

8.5 Great

apps Top Philip Wadler Alternatives

The top alternative to Philip Wadler in 2026 is Tony Hoare with a score of 9.2/10, followed by Michael Rabin (9.2) and Robin Milner (9.2).

1
Tony Hoare

Tony Hoare

Sir Charles Antony Richard "Tony" Hoare is a British computer scientist best known for developing the Quicksort sorting...

British Algorithms Programming Languages Quicksort
9.2 Excellent
2
Michael Rabin

Michael Rabin

Michael Rabin is an Israeli computer scientist and professor at the Hebrew University of Jerusalem who has made foundati...

Israeli Theoretical Complexity Theory Automata
9.2 Excellent
3
Robin Milner

Robin Milner

Robin Milner was a British computer scientist who made foundational contributions to theoretical computer science and pr...

Type Theory British Formal Methods ML Language
9.2 Excellent
4
Leslie Valiant

Leslie Valiant

Leslie Valiant is a British computer scientist and professor at Harvard University. He is widely recognized for introduc...

Machine Learning British Harvard Complexity Theory
9.2 Excellent
5
George Dantzig

George Dantzig

George Dantzig was an American mathematician who made foundational contributions to operations research and computer sci...

American Optimization Operations Research Stanford
9.2 Excellent
6
Edmund Clarke

Edmund Clarke

Edmund Clarke was an American computer scientist and professor at Carnegie Mellon University. He co-developed the concep...

American Formal Verification Verification Cmu
9.2 Excellent
7
Amir Pnueli

Amir Pnueli

Amir Pnueli was an Israeli computer scientist who made foundational contributions to program verification by introducing...

Israeli Verification Weizmann Formal Methods
9.2 Excellent
8
William Kahan

William Kahan

William Kahan is a Canadian-American mathematician and computer scientist who served as a professor at the University of...

Numerical Analysis Berkeley Canadian American IEEE 754
9.2 Excellent
9
John Reynolds

John Reynolds

John C. Reynolds was an American computer scientist who made major contributions to the theory of programming languages....

American Type Theory Programming Languages Cmu
9.1 Excellent
10
David Silver

David Silver

David Silver is a British computer scientist and a principal research scientist at Google DeepMind. He is known for his...

AI British Reinforcement Learning Deepmind
9.0 Excellent
11
Peter O'Hearn

Peter O'Hearn

Peter O'Hearn is a British computer scientist at University College London and Meta who, with John Reynolds and others,...

Meta British Verification Formal Methods
8.7 Great
12
Simon Peyton Jones

Simon Peyton Jones

Simon Peyton Jones is a British computer scientist who spent over two decades as a principal researcher at Microsoft Res...

Microsoft British Functional Programming Compilers
8.6 Great
13
Lloyd Trefethen

Lloyd Trefethen

Lloyd N. Trefethen is a British numerical analyst and professor at the University of Oxford. He is known for his work in...

Numerical Analysis British Oxford Approximation
8.5 Great
14
Clifford Cocks

Clifford Cocks

Clifford Cocks is a British mathematician who worked at GCHQ, the UK's signals intelligence agency. He independently inv...

Cryptography British Rsa Independent Gchq
8.4 Great
15
Martin Abadi

Martin Abadi

Martin Abadi is a computer scientist known for his contributions to security and programming language theory. He co-deve...

Google Security American Type Theory
8.4 Great
16
Luca Cardelli

Luca Cardelli

Luca Cardelli is an Italian-British computer scientist at Microsoft Research who has made foundational contributions to...

Microsoft Type Theory ML Programming Languages
8.4 Great
17
David MacKay

David MacKay

David MacKay was a British physicist and computer scientist at the University of Cambridge. He was known for his work in...

Machine Learning British Bayesian Information Theory
8.4 Great
18
Benjamin Pierce

Benjamin Pierce

Benjamin Pierce is a computer scientist at the University of Pennsylvania who works on programming language theory and t...

American Type Theory Programming Languages Upenn
8.3 Great
19
John Hughes

John Hughes

John Hughes is a computer scientist based at Chalmers University of Technology in Sweden. He is widely recognized for hi...

Swedish Functional Programming Arrows Haskell
8.2 Great
20
Paul Hudak

Paul Hudak

Paul Hudak was an American computer scientist and a professor at Yale University, where he served as the chair of the De...

American Yale Functional Programming Haskell
8.1 Great

summarize Quick Comparison Summary

Alternative Score vs Philip Wadler Action
Tony Hoare
Tony Hoare
Computer Scientist British Algorithms Programming Languages
9.2 Excellent +0.7 Compare
Michael Rabin
Michael Rabin
Computer Scientist Israeli Theoretical Complexity Theory
9.2 Excellent +0.7 Compare
Robin Milner
Robin Milner
Computer Scientist Type Theory British Formal Methods
9.2 Excellent +0.7 Compare
Leslie Valiant
Leslie Valiant
Computer Scientist Machine Learning British Harvard
9.2 Excellent +0.7 Compare
George Dantzig
George Dantzig
Computer Scientist American Optimization Operations Research
9.2 Excellent +0.7 Compare
Edmund Clarke
Edmund Clarke
Computer Scientist American Formal Verification Verification
9.2 Excellent +0.7 Compare
Amir Pnueli
Amir Pnueli
Computer Scientist Israeli Verification Weizmann
9.2 Excellent +0.7 Compare
William Kahan
William Kahan
Computer Scientist Numerical Analysis Berkeley Canadian American
9.2 Excellent +0.7 Compare
John Reynolds
John Reynolds
Computer Scientist American Type Theory Programming Languages
9.1 Excellent +0.6 Compare
David Silver
David Silver
Computer Scientist AI British Reinforcement Learning
9.0 Excellent +0.5 Compare

See all Computer Scientist ranked by score

emoji_events View Full Computer Scientist Rankings

help Frequently Asked Questions

What are the best alternatives to Philip Wadler?
The top alternatives to Philip Wadler in 2026 include Tony Hoare, Michael Rabin, Robin Milner, Leslie Valiant, George Dantzig. Each offers unique features and is objectively scored on Lunoo to help you compare.
How many alternatives to Philip Wadler are there?
Lunoo currently lists 20 scored alternatives to Philip Wadler in the Computer Scientist category, ranked by our AI-powered evaluation system.
Which Philip Wadler alternative has the highest rating?
Tony Hoare currently holds the highest rating among Philip Wadler alternatives with a score of 9.2/10.
How are Philip Wadler alternatives ranked on Lunoo?
Lunoo uses an AI-powered scoring system that analyzes category fit, feature coverage, pricing signals, public reception, recency, and value to provide 0 to 10 scores. Rankings are updated continuously.
Philip Wadler vs Tony Hoare: which is better?
Philip Wadler scores 8.5/10 while Tony Hoare scores 9.2/10 on Lunoo. The best choice depends on your specific needs. Use our detailed comparison tool for a full breakdown.
Philip Wadler vs Michael Rabin: which is better?
Philip Wadler scores 8.5/10 while Michael Rabin scores 9.2/10 on Lunoo. The best choice depends on your specific needs. Use our detailed comparison tool for a full breakdown.
Philip Wadler vs Robin Milner: which is better?
Philip Wadler scores 8.5/10 while Robin Milner scores 9.2/10 on Lunoo. The best choice depends on your specific needs. Use our detailed comparison tool for a full breakdown.

Compare Items

See how they stack up against each other

Comparing
VS
Select 1 more item to compare