← Back to directory
Philip Wadler
Researcher Next ID · RN-000150
Professor · Computer Science
Dortmund, Germany
Not currently recruitingFunding unknown
- Works count
- 272
- Citation count
- 17,815
- H-index
- 60
- i10-index
- 136
About
272 publications and 17,819 citations recorded on OpenAlex.
Research interests
Computer Science
Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Advanced Database Systems and Queries
Software Engineering Research
Publications
Featherweight Java
ACM Transactions on Programming Languages and Systems · 2001 · 10.1145/503502.503505
Imperative functional programming
Journal · 1993 · 10.1145/158511.158524
Report on the programming language Haskell
ACM SIGPLAN Notices · 1992 · 10.1145/130697.130699
Theorems for free!
Journal · 1989 · 10.1145/99370.99404
How to make ad-hoc polymorphism less ad hoc
Journal · 1989 · 10.1145/75277.75283
Current projects
No projects listed.