175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Theoretical Computer Science and General Issues

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.)

  • 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
see more benefits

Buy this book

eBook £43.99
price for United Kingdom (gross)
  • ISBN 978-3-319-30936-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £55.99
price for United Kingdom (gross)
  • ISBN 978-3-319-30935-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

    Abou-Saleh, Faris (et al.)

    Pages 1-31

  • Conflation Confers Concurrency

    Atkey, Robert (et al.)

    Pages 32-55

  • Counting Successes: Effects and Transformations for Non-deterministic Programs

    Benton, Nick (et al.)

    Pages 56-72

  • The Essence of Inheritance

    Black, Andrew P. (et al.)

    Pages 73-94

  • Subtyping Supports Safe Session Substitution

    Gay, Simon J.

    Pages 95-108

Buy this book

eBook £43.99
price for United Kingdom (gross)
  • ISBN 978-3-319-30936-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover £55.99
price for United Kingdom (gross)
  • ISBN 978-3-319-30935-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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
  • Don 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 and Tables
75 b/w illustrations, 4 illustrations in colour
Topics