Philip Wadler's home page

Contact details
Wadler's Blog
Towards Independence
FP in the real world
Computational Thinking and Outreach
A photo of Philip Wadler Philip Wadler Visiting CWI Amsterdam Visiting CWI Amsterdam Read the reviews! Read the reviews!


Interested in applying for a PhD or Internship?

From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial.

TypeScript: The Next Generation funded by a Microsoft Research PhD Scholarship.

Centre for Doctoral Training in Pervasive Parallelism, studentships available for cohort starting September 2015.



For details see my vita or short biography.

Upcoming events

Research interests


Recent events

Older events.

Recent talks and papers

Publications and Talks

Citations of my work on Google Scholar, Microsoft Academic Search, Citeseer. Google ranks my h-index at 60 (September 2013). I appear at position 6 in a list of most acknowledged researchers.

Bibliography at DBLP and Edinburgh Research Explorer.


Current students (PhD):

Previous students (PhD and MPhil):

Previous students (MSc and UG4):

Of interest to potential students:




Service and Editorial

Please submit to the above!

Unusual applications

Here are some unusual application of my work. Please let me know of others!<

Jewish calendar

A request: please avoid scheduling events on Shabbat, Rosh Hasanah, Yom Kippur, Sukkot, Chanukkah, Purim, and Passover. Holiday dates for the next five years. I am a member of Sukkat Shalom, the Edinburgh Liberal Jewish Community, Jews for Justice for Palestinians, and Scottish Jews for a Just Peace.



I am married to Catherine Lyons and the father of Adam and Leora.
A wedding photo Leora and Adam at one month Leora and Adam at five years Leora and Adam at eight years

4) There are ugly papers to which I have methodological objections.

4a) Lousy use of English, that make the paper ranging from empty to ambiguous. (In the second case you get the feeling that by rewriting it you could perhaps salvage parts of it.) Such poor use of language puts me off very rapidly. It makes the reading very much harder and the effort/gain ratio goes up very quickly, also because the gain goes down: it is impossible to carve a gem with a blunt instrument. Careful use of language is not a dispensable luxury but a vital matter, often deciding between success and failure. It is in this connection worth noticing that in the Comm.ACM the papers on data bases, AI and information retrieval, and social implications are of markedly lower linguistic quality than the others. A subcategory are the papers with a shoddy motivation which a more careful linguistic analysis would have revealed as a slogan (readability, understandability, natural and intuitive, programming for non-programmers, etc.).

4b) Pompous notations. This makes the paper boring to read and shows a lack of good taste. Sometimes the paper can be saved by translating it formula by formula. Very irritating are such papers when they are essentially an exercise in sterility, such as "the precise formal definition of XXXX" with which subsequently nothing is done because the formalism is absolutely unmanageable.

4c) Clumsy mathematics.

4d) Intertwining of concerns that you have learned to separate. This leads to irritation, for the paper is always confusing, unnecessarily long and clumsy (and sometimes nonsensical).

4e) Use of misleading metaphors, such as anthropomorphic terminology. (Most diagrams and pictures, needless to say, fall into the same category.)

— Edsgar Dijkstra, EWD 691

Other favorite quotes


Philip Wadler
Informatics Forum 5.31
10 Crichton Street
Edinburgh EH8 9AB
public key
office: +44 131 650 5174
fax: +44 131 651 1426
admin: +44 131 651 3435
<my last name>

Philip Wadler,