A list of successes that has not yet changed the world -orThe importance of being stupid Philip Wadler University of Edinburgh 11 April 2016

Source URL: events.inf.ed.ac.uk

Richard Bird Philip Wadler Introduction to Functional Programming

Source URL: usi-pl.github.io

You and Your Research & The Elements of Style Philip Wadler University of Edinburgh Programming Languages Mentoring Workshop

Source URL: plmw2014.inria.fr

An idiom’s guide to formlets Ezra Cooper Sam Lindley Philip Wadler

Source URL: homepages.inf.ed.ac.uk

Presentation Skills: Speaking, Graphics Philip Wadler March 2009 Part 0

Source URL: www.inf.ed.ac.uk

You and Your Research Philip Wadler, University of Edinburgh Richard W. Hamming, 1915–1998

Source URL: homepages.inf.ed.ac.uk

Course: Introduction to XQuery and Static Type-Checking Pierre Genevès CNRS (Some examples are inspired from the XQuery tutorial by Peter Fankhauser and Philip Wadler, the slides by Rajshekhar

Source URL: tyrex.inria.fr

You and Your Research & The Elements of Style Philip Wadler University of Edinburgh PLMW, Rome, 3.30pm Tuesday 22 January 2013

Source URL: homepages.inf.ed.ac.uk

From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) Simon Gay, University of Glasgow Philip Wadler, University of Edinburgh Nobuko Yoshida, Imperial College

Source URL: groups.inf.ed.ac.uk

The key to blame: Gradual typing meets cryptography Jeremy Siek Philip Wadler Indiana University, USA

Source URL: homepages.inf.ed.ac.uk

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Models of computation
• Lambda calculus
• Computability theory
• Valuation
• Denotational semantics
• Combinatory logic
• Holomorphic functional calculus