|
Philip Wadler
|
Visiting CWI Amsterdam
|
Read the reviews!
|
|
Philip Wadler
|
Visiting CWI Amsterdam
|
Read the reviews!
|
We have one RA post and PhD studentships for 2013 and 2014 available on the EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution. Write to me if you are interested. Deadline for the RA post is 20 May 2013, details here.
Concurrency. A new result shows how to extend the Curry-Howard correspondence to session types. With Simon Gay from Glasgow and Nobuko Yoshida from Imperial, I am leading the EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution.
Blame. The blame calculus, developed with Robby Findler, Jeremy Siek, and Amal Ahmed, integrates different type systems via casts. Casts may mediate between dynamic and static types, or between simple and dependent types. The key result is that when a cast fails, blame must lie on the less precise side of the cast.
Links. I led the team that developed Links a programming language for web application development. My collaborators include Ezra Cooper, Sam Lindley, and Jeremy Yallop. Our work on formlets has been included in Intellifactory Web Sharper, and in libraries for Common Lisp, F#, JavaScript, Haskell, Racket, and Scala.
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. With Maurice Naftalin I wrote Java Generics and Collections, published by O'Rielly.
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 three talks: As natural as 0,1,2..., The unreasonable effectiveness of logic, and Church's coincidences.
Current students:
Previous students (PhD):
Previous students (MSc and Honours):
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.
In mainstream language design, formal training is the exception, not the rule. Most decision makers couldn't parse an operational semantics if their life depended on it. Let alone understand a denotational model or a type system.
I usually compare it to architects designing bridges without knowing the first thing about statics. It's sufficient qualification to have crossed bridges all your life. And if in doubt, a road sign always is an appropriate measure for preventing one from collapsing. Traffic participants are expected to bring parachutes.
To be fair, it took a few millennia before knowledge about statics prevailed among bridge builders, too. — Andreas Rossberg
|
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 
|