Editors:
Contains refereed papers dedicated to Philip Wadler and to his work
Collects a number of papers by Philip's collaborators over the years presenting
a broad range of topics reflecting Philip's versatility
Depicts Phil's major contributions to programming language design, in particular contributing to functional programming and the theory underpinning functional languages, as well as his major contributions to type systems for programming languages and logic
Includes supplementary material: sn.pub/extras
Part of the book series: Theoretical Computer Science and General Issues (LNTCS, volume 9600)
Buying options
This is a preview of subscription content, access via your institution.
Table of contents (24 chapters)
-
Front Matter
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.
Keywords
- 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
-
Informatics Forum, University of Edinburgh Informatics Forum, Edinburgh, United Kingdom
Sam Lindley, Don Sannella
-
University of Strathclyde , Glasgow, United Kingdom
Conor McBride
-
University of Glasgow , Glasgow, United Kingdom
Phil Trinder
Bibliographic Information
Book Title: A List of Successes That Can Change the World
Book Subtitle: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Editors: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella
Series Title: Theoretical Computer Science and General Issues
DOI: https://doi.org/10.1007/978-3-319-30936-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-30935-4Published: 31 March 2016
eBook ISBN: 978-3-319-30936-1Published: 30 March 2016
Series ISSN: 2512-2010
Series E-ISSN: 2512-2029
Edition Number: 1
Number of Pages: XXII, 479
Number of Illustrations: 75 b/w illustrations, 4 illustrations in colour
Topics: Computer Science Logic and Foundations of Programming, Compilers and Interpreters, Software Engineering, Formal Languages and Automata Theory, Programming Techniques