Philip Wadler's home page

Contact details
Blog
Links
ABCD
Haskell
JFP
FP in the real world
SPLS
Computational Thinking and Outreach
A photo of Philip Wadler Philip Wadler Visiting CWI Amsterdam Visiting CWI Amsterdam Read the reviews! Read the reviews!

Projects

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.

Currently:

Formerly:

For details see my vita or short biography.

Upcoming events

Research interests

Awards

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.

Students

Current students:

Previous students (PhD):

Previous students (MSc and Honours):

Of interest to potential students:

Teaching

Current.

Former.

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.

Other

Personal

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


Feynman was famous for his hand-waving arguments. Once he explained his theory of superfluid helium to Pauli using such arguments. Pauli, a tough critic, was unconvinced. Feynman kept at it, and Pauli stayed unconvinced, until Feynman, exasperated, asked, "Surely you can't believe that everything I've said is wrong?" To which Pauli replied, "I believe that everything you've said is not even wrong." — Frank Wilczek, The Lightness of Being

Other favorite quotes

Edinburgh

Philip Wadler
Informatics Forum 5.31
10 Crichton Street
Edinburgh EH8 9AB
UNITED KINGDOM
      http://homepages.inf.ed.ac.uk/wadler
office (IF5.31): +44 131 650 5174
fax (IF5): +44 131 651 1426
reception: +44 131 651 5661
<my last name>@inf.ed.ac.uk

Philip Wadler,