Book Volume 9600 2016

A List of Successes That Can Change the World

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

Editors:

ISBN: 978-3-319-30935-4 (Print) 978-3-319-30936-1 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XXII

  2. No Access

    Chapter

    Pages 1-31

    Reflections on Monadic Lenses

  3. No Access

    Chapter

    Pages 32-55

    Conflation Confers Concurrency

  4. No Access

    Chapter

    Pages 56-72

    Counting Successes: Effects and Transformations for Non-deterministic Programs

  5. No Access

    Chapter

    Pages 73-94

    The Essence of Inheritance

  6. No Access

    Chapter

    Pages 95-108

    Subtyping Supports Safe Session Substitution

  7. No Access

    Chapter

    Pages 109-131

    Proof-Relevant Parametricity

  8. No Access

    Chapter

    Pages 132-151

    Comprehending Ringads

  9. No Access

    Chapter

    Pages 152-168

    Dragging Proofs Out of Pictures

  10. No Access

    Chapter

    Pages 169-186

    Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane

  11. No Access

    Chapter

    Pages 187-200

    Cutting Out Continuations

  12. No Access

    Chapter

    Pages 201-206

    The Lambda Calculus: Practice and Principle

  13. No Access

    Chapter

    Pages 207-233

    I Got Plenty o’ Nuttin’

  14. No Access

    Chapter

    Pages 234-248

    Pointlessness is Better than Listlessness

  15. No Access

    Chapter

    Pages 249-272

    The Essence of Dependent Object Types

  16. No Access

    Chapter

    Pages 273-291

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

  17. No Access

    Chapter

    Pages 292-317

    A Reflection on Types

  18. No Access

    Chapter

    Pages 318-335

    The Essence of Multi-stage Evaluation in LMS

  19. No Access

    Chapter

    Pages 336-355

    1ML with Special Effects

  20. No Access

    Chapter

    Pages 356-366

    The Computer Scientist Nightmare

  21. No Access

    Chapter

    Pages 367-387

    A Branding Strategy for Business Types

previous Page of 2