Philip Wadler

Universities UK — United Kingdom

Computer Science · Physical Sciences

60h-index17.6kcitations268works0.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(168), Formal Methods in Verification(67), Logic, Reasoning, and Knowledge(60), Advanced Database Systems and Queries(40), Software Engineering Research(31)

Publications268 total

Substitution Without Copy and Paste
Electronic Proceedings in Theoretical Computer Science·2025Open Access
Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)
2025Open Access
Executable Agda Script for ‘A Tale of Two Zippers’
Artifact Digital Object Group·2025· 1 citedOpen Access
A simple blame calculus for explicit nulls
Journal of Functional Programming·2024Open Access
Explicit Weakening
Electronic Proceedings in Theoretical Computer Science·2024· 1 citedOpen Access
Data Representation
Undergraduate topics in computer science·2021· 1 cited
Non-deterministic Finite Automata
Undergraduate topics in computer science·2021· 1 cited
More Patterns of Reasoning
Undergraduate topics in computer science·2021· 1 cited
Simple Computations
Undergraduate topics in computer science·2021
More Fun with Recursion
Undergraduate topics in computer science·2021· 1 cited
Expression Trees
Undergraduate topics in computer science·2021· 1 cited
Algebraic Data Types
Undergraduate topics in computer science·2021
Sequent Calculus
Undergraduate topics in computer science·2021· 1 cited
Checking Satisfiability
Undergraduate topics in computer science·2021
Patterns of Reasoning
Undergraduate topics in computer science·2021· 1 cited
Venn Diagrams and Logical Connectives
Undergraduate topics in computer science·2021
Higher and Higher
Undergraduate topics in computer science·2021· 1 cited
Non-Regular Languages
Undergraduate topics in computer science·2021· 1 cited
Combinatorial Algorithms
Undergraduate topics in computer science·2021· 12 cited
Deterministic Finite Automata
Undergraduate topics in computer science·2021· 1 cited
page 1 of 14Next →

Frequent Co-authors

Martin Odersky(5), Simon Jones(3), Paul Hudak(3), Kevin Hammond(3), John Hughes(3), John Maraist(3), Simon Peyton Jones(2), Brian Boutel(2), Jon Fairbairn(2), Joseph H. Fasel(2), María M. Guzmán(2), Thomas Johnsson(2), Rishiyur S. Nikhil(2), Will Partain(2), Atsushi Igarashi(2), Benjamin C. Pierce(2), David N. Turner(2), Dick Kieburtz(1), John Peterson(1), Stephen Blott(1)