Concepedia

Philip Wadler

PW

99

Publications

14.2K

Citations

50

H-Index

1976

Active since

Affiliations

University of Edinburgh(Current)

University of Glasgow

Alcatel Lucent (Germany)

Avaya (Bermuda)

Nokia (United States)

Philip Wadler is an author at University of Edinburgh specializing in engineering, formal methods, and computer science.

ORCID

Top concepts

Publications per year

1976–2020

99

Publications

99

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

, , +13

Report on the programming language Haskell

Paul Hudak, Simon Peyton Jones, Philip Wadler et al. · ACM SIGPLAN Notices · 1992 · 1K citations · Full text

, , +17

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 960 citations · Full text

, , +12

Theorems for free!

Philip Wadler · 1989 · 772 citations

, , +9

How to make ad-hoc polymorphism less ad hoc

Philip Wadler, Stephen Blott · 1989 · 766 citations · Full text

Rows per page

1–5 of 99