© 2016

A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

  • Sam Lindley
  • Conor McBride
  • Phil Trinder
  • Don Sannella

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9600)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9600)

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
    Pages 1-31
  3. Robert Atkey, Sam Lindley, J. Garrett Morris
    Pages 32-55
  4. Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
    Pages 56-72
  5. Andrew P. Black, Kim B. Bruce, James Noble
    Pages 73-94
  6. Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
    Pages 109-131
  7. Jeremy Gibbons
    Pages 132-151
  8. Ralf Hinze, Dan Marsden
    Pages 152-168
  9. Graham Hutton, Patrick Bahr
    Pages 187-200
  10. Hugh Leather, Janne Irgens
    Pages 201-206
  11. Conor McBride
    Pages 207-233
  12. John T. O’Donnell, Cordelia V. Hall
    Pages 234-248
  13. Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
    Pages 249-272
  14. Jennifer Paykin, Steve Zdancewic
    Pages 273-291
  15. Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
    Pages 292-317
  16. Andreas Rossberg
    Pages 336-355
  17. Manuel Serrano
    Pages 356-366

About this book


This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject.


functional languages lambda calculus parametricity programming language design type systems dependent object types formal semantics functional programming Haskell Java linear logic monadic second order logic multiparty session types non-deterministic programs programming languages second-order logic transformations type checking Web applications XML query

Editors and affiliations

  • Sam Lindley
    • 1
  • Conor McBride
    • 2
  • Phil Trinder
    • 3
  • Don Sannella
    • 4
  1. 1.Informatics ForumUniversity of Edinburgh Informatics ForumEdinburghUnited Kingdom
  2. 2.University of Strathclyde GlasgowUnited Kingdom
  3. 3.University of Glasgow GlasgowUnited Kingdom
  4. 4.Informatics ForumUniversity of Edinburgh Informatics ForumEdinburghUnited Kingdom

Bibliographic information