Skip to main content
SpringerLink
Log in

A List of Successes That Can Change the World

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

  • Book
  • © 2016

Overview

Editors:
  1. Sam Lindley

    1. Informatics Forum, University of Edinburgh Informatics Forum, Edinburgh, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Conor McBride

    1. University of Strathclyde , Glasgow, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Phil Trinder

    1. University of Glasgow , Glasgow, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Don Sannella

    1. Informatics Forum, University of Edinburgh Informatics Forum, Edinburgh, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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: Lecture Notes in Computer Science (LNCS, volume 9600)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 chapters)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  2. Reflections on Monadic Lenses

    • Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
    Pages 1-31

  3. Conflation Confers Concurrency

    • Robert Atkey, Sam Lindley, J. Garrett Morris
    Pages 32-55

  4. Counting Successes: Effects and Transformations for Non-deterministic Programs

    • Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
    Pages 56-72

  5. The Essence of Inheritance

    • Andrew P. Black, Kim B. Bruce, James Noble
    Pages 73-94

  6. Subtyping Supports Safe Session Substitution

    • Simon J. Gay
    Pages 95-108

  7. Proof-Relevant Parametricity

    • Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
    Pages 109-131

  8. Comprehending Ringads

    • Jeremy Gibbons
    Pages 132-151

  9. Dragging Proofs Out of Pictures

    • Ralf Hinze, Dan Marsden
    Pages 152-168

  10. Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane

    • John Hughes
    Pages 169-186

  11. Cutting Out Continuations

    • Graham Hutton, Patrick Bahr
    Pages 187-200

  12. The Lambda Calculus: Practice and Principle

    • Hugh Leather, Janne Irgens
    Pages 201-206

  13. I Got Plenty o’ Nuttin’

    • Conor McBride
    Pages 207-233

  14. Pointlessness is Better than Listlessness

    • John T. O’Donnell, Cordelia V. Hall
    Pages 234-248

  15. The Essence of Dependent Object Types

    • Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
    Pages 249-272

  16. Linear \( \lambda \mu \) is \( \textsc {CP} \) (more or less)

    • Jennifer Paykin, Steve Zdancewic
    Pages 273-291

  17. A Reflection on Types

    • Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
    Pages 292-317

  18. The Essence of Multi-stage Evaluation in LMS

    • Tiark Rompf
    Pages 318-335

  19. 1ML with Special Effects

    • Andreas Rossberg
    Pages 336-355

  20. The Computer Scientist Nightmare

    • Manuel Serrano
    Pages 356-366
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation