A List of Successes That Can Change the World
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Editors: Lindley, S., McBride, C., Trinder, P., Sannella, D. (Eds.)
Free Preview- 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
Buy this book
- 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.
- Table of contents (24 chapters)
-
-
Reflections on Monadic Lenses
Pages 1-31
-
Conflation Confers Concurrency
Pages 32-55
-
Counting Successes: Effects and Transformations for Non-deterministic Programs
Pages 56-72
-
The Essence of Inheritance
Pages 73-94
-
Subtyping Supports Safe Session Substitution
Pages 95-108
-
Table of contents (24 chapters)
- Download Preface 1 PDF (72 KB)
- Download Sample pages 2 PDF (359.4 KB)
- Download Table of contents PDF (65.9 KB)
Recommended for you
Bibliographic Information
- 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
- Donald Sannella
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 9600
- Copyright
- 2016
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-30936-1
- DOI
- 10.1007/978-3-319-30936-1
- Softcover ISBN
- 978-3-319-30935-4
- Edition Number
- 1
- Number of Pages
- XXII, 479
- Number of Illustrations
- 75 b/w illustrations, 4 illustrations in colour
- Topics
