Philip Wadler's home page
Currently:
Formerly:
- Avaya Labs,
Basking Ridge, Researcher (2000-2003).
-
Bell Labs
1127,
Lucent Technologies,
Murray Hill, Researcher (1996-2000).
- Glasgow University,
Professor (1993-1996), Reader (1990-1993), Lecturer (1987-1990).
- University of Sydney,
Guest professor (Jan-Feb 1991).
- University of Copenhagen,
Guest professor (Aug 1989).
- Oxford University,
Postdoc (1983-1987)
- Chalmers Tekniska Högskola,
Göteborg, Visiting Fellow (Sep 1986-Feb 1987).
- Carnegie-Mellon University,
Graduate student (1977-1982)
- Stanford University,
Undergraduate (1973-1977)
For details see my vita
or short biography.
Research interests
-
Links.
My latest research interest is
Links,
a programming language for web application development,
building on my experience with XML, Java, and Haskell.
-
XML.
I represented Avaya on the
W3C XML Query
working group, which designed
XQuery
a query language for XML.
My work on XQuery was done in close collaboration with
Jerome Simeon
and
Mary Fernandez,
who have an implementation of XQuery called Galax.
I ran a workshop on
XML and Data Binding.
I formerly served on the
W3C XSL working group,
and I wrote a simple
formal model
for pattern matching in XSLT.
-
Java.
With
Gilad Bracha,
Martin Odersky,
and
David Stoutamire,
I designed
GJ,
an extension of Java
that incorporates generic types.
With
Benjamin Pierce and
Atsushi Igarashi,
I designed
Featherweight Java,
a small formal model of Java, comparable in simplicity to lambda calculus.
-
Functional languages.
I was a principal designer of
Haskell.
With Simon Marlow, I developed a
type tool
for
Erlang.
I am a founding member of
IFIP WG 2.8 Functional Programming,
and served as editor-in-chief of the
Journal of Functional Programming.
-
Logic and programming.
See
19'th Century Logic and 21'st Century Programming Languages,
which appeared in Dr Dobbs, and slides from two talks
As natural as 0,1,2...
and
The unreasonable effectiveness of logic
(my inaugural lecture).
Award
-
Most Influential POPL
Paper Award 2003 (for 1993): Imperative functional programming,
by Simon Peyton Jones and Philip Wadler.
Presented annually to the author(s) of a paper presented at the POPL
held 10 years prior to the award year. The award includes a prize of
$1,000 to be split among the authors of the winning paper. The papers
are judged by their influence over the past decade.
Upcoming events
Recent events
- Propositions as Sessions, draft paper, 13 March 2012.
- Faith, Evolution, and Programming Languages,
QCon, London, 9 March 2012.
- Foundations of Scripting Languages, Dagstuhl, 2—6 January 2012.
- Course lecturer, Integrating Static and Dynamic Types Systems,
28—29 October, 2—3 December 2011, University of Warsaw.
- DBPL, invited speaker, 29 August 2011.
- BCS FACS seminar on formlets.
- RADICAL 2010, organizing committee.
- ETAPS 2010, invited speaker.
- ICFP 2009,
local arrangments chair.
- SICSA International Summer School on Advances in Programming Languages,
steering committe, speaker.
- Lang.NET Symposium, speaker.
- STOP 2009,
program committee.
Older events.
Recent talks and papers
- Blame for All,
POPL 2011.
- The arrow calculus,
JFP.
- Threesomes, with and without blame,
POPL 2010.
- Monadic constaint programming,
JFP.
- The RPC Calculus,
PPDP 2009.
- Blame for all,
STOP 2009.
- Threesomes, with and without blame,
STOP 2009.
- Well-typed programs can't be blamed.
ESOP 2009,
- The essence of form abstraction,
APLAS 2008.
- Idioms are oblivious, arrows are meticulous,
monads are promiscuous,
MSFP 2008.
- The arrow calculus (Functional pearl),
Submitted to ICFP 2008.
- Well-typed programs can't be blamed,
Submitted to ICFP 2008.
- An idiom's guide to formlets,
Submitted to ICFP 2008.
- Signed and sealed,
Submitted to ICFP 2008.
- A located lambda calculus,
Submitted to ICFP 2008.
- Aspect-Oriented Software Development (AOSD 2008),
2-4 April 2008, Brussels (keynote).
Presented Well-typed programs can't be blamed.
- Well-typed programs can't be blamed,
Scheme workshop, ICFP, Freiburg, 30 September 2007.
- Comprehensive comprehensions,
Haskell workshop, ICFP, Freiburg, 30 September 2007.
- Links: Web Programming
Without Tiers, invited talk, FMCO, Amsterdam, 9 November 2006,
NICTA, Melbourne, 2 February 2006, and
PADL, Charleston, 9 January 2006.
- Faith, Evolution, and Programming
Languages, invited talk, OOPSLA, Portland, 26 October 2006.
- You and Your Research,
my attempt to channel R. W. Hamming in a talk
for postgraduate students at Firbush retreat.
Here is a transcript of
Hamming's original talk.
- Call-by-value is dual to call-by-name, Reloaded
Invited talk,
Rewriting Techniques and Applications (RTA),
Nara, April 2005.
-
The unreasonable effectiveness of logic,
inaugural lecture, University of Edinburgh, 16 November 2004.
- Down with the bureaucracy of syntax!
Pattern matching for classical linear logic,
manuscript, April 2004.
- The Girard-Reynolds Isomorphism (second edition),
manuscript, March 2004.
-
XQuery from the Experts,
published by Addison-Wesley, 29 August 2003 (contributor).
-
Call-by-value is dual to call-by-name,
ICFP, Uppsala, Sweden, 25-29 August 2003.
Preliminary version:
NJPLS, AT&T Labs, Florham Park, 21 February 2003.
-
A Prettier Printer,
In
The Fun of Programming,
A symposium in honour of Professor Richard Bird's 60th birthday,
Examination Schools, Oxford, 24-25 March 2003.
-
As Natural as 0, 1, 2,
Edinburgh University
Informatics Jamboree
20 May 2004,
Bard College
Distinguished Scientist Lecture,
10 April 2003, and
University of Utah
Evans and Sutherland Distinguished Lecture,
20 November 2002.
-
The Essence of XML,
POPL 2003, New Orleans, January 2003.
Preliminary version:
FLOPS 2002, Aizu, Japan, September 2002 (invited talk).
-
The Great Type Hope.
Erlang Workshop, Pittsburgh, October 2002 (invited talk).
- XQuery, a typed functional language for querying XML,
Advanced Functional Programming, Oxford, August 2002.
- XQuery tutorial,
XML 2001, Orlando, December 2001 (tutorial).
- Et tu, XML? The fall of the relational empire,
VLDB 2001, Rome, September 2001 (keynote).
- MSL: A model for W3C XML Schema,
WWW01, Hong Kong, May 2001.
- From Frege to Gosling,
Alan J. Perlis Symposium,
Programming Languages: Theory Meets the Real World,
Yale University, 27 April 2000 (invited talk).
- 19'th Century Logic and 21'st Century Programming Languages,
Dr Dobbs, December 2000.
Publications
Here are
citations
to my work from the
Citeseer.
I appear at position 269 in Citeseer's list of
most cited authors
(January 2012),
and position 6 in a list of
most acknowledged researchers
Students
Current students:
Previous students (PhD):
Previous students (MSc and Honours):
Look here if you are interested in
postgraduate study at Edinburgh.
Teaching
Recent and upcoming events
- OOPSLA, Portland, 22-6 October 2006 (invited speaker).
- FMCO, Amsterdam, 7-10 November 2006 (keynote).
- Programming Paradigms for the Web,
Dagstuhl, 28 January-2 Feb 2007 (co-organiser).
- Intel Berkeley Programming Languages Seminar,
Mon 30 April 2007.
- History of Programming Languages,
San Diego, California, 9-10 June 2007 (paper).
- Principles of Programming Languages,
10-12 January 2008 (program chair).
- European Symposium on Programming Languages,
29 March-6 April 2008, Budapest (program committee).
- Aspect-Oriented Software Development (AOSD 2008),
2-4 April 2008, Brussels (keynote).
Here are some past events.
Service and Editorial
Please submit to the above!
Unusual applications
Here are some unusual application of my work. Please let me know of others!
- Computational linguistics.
- Quantum computation.
-
A Lambda Calculus for Quantum Computation
and
Quantum Computation, Categorical Semantics and Linear Logic,
by
Andre van Tonder
cites my work on linear logic.
-
Structuring quantum effects: superoperators as arrows,
by Juliana Vizzotto, Thorsten Altenkirch, and Amr Sabry,
relates quantum computing to monads and arrows.
-
A linear-non-linear model for a computational call-by-value lambda calculus,
by Peter Selinger and Benoit Valiron,
relates quantum computing to both linear logic and monads.
-
The Arrow Calculus as a Quantum Programming Language
by Juliana Kaizer Vizzotto, Andre Rauber Du Bois, and Amr Sabry,
is based on my work with Sam Lindley and Jeremy Yallop on
The Arrow Calculus.
- eScience.
- Nanotechnology
- Proof Assistants
-
The proof monad
by Florent Kirchner and Cesar Munoz,
supports computational features of proof languages,
such as side effects, exception handling, and backtracking.
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
Utility
Exceed script exceed.xs
Personal
I am married to Catherine Lyons
and the father of Adam and Leora.
Our Earth is degenerate in these later days; there are signs that the
world is speedily coming to an end; bribery and corruption are common;
children no longer obey their parents; every man wants to write a book
and the end of the world is evidently approaching.
-- Inscription on an Assyrian clay tablet, circa 2800 B.C.E.
(Maggie Koerth-Baker, Boing Boing)
Other favorite quotes
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
|
Philip Wadler,
