A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Sam Lindley (Editor), Conor McBride (Editor), Phil Trinder (Editor), Don Sannella (Editor)

Research output: Book/ReportBook

Original languageEnglish
PublisherSpringer
Number of pages478
ISBN (Print)9783319309354
DOIs
Publication statusPublished - 25 Mar 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9600
ISSN (Print)0302-9743

Keywords

  • programs
  • programming languages
  • software engineering
  • mathematical logic
  • programming techniques

Cite this

Lindley, S., McBride, C., Trinder, P., & Sannella, D. (Eds.) (2016). A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9600). Springer. https://doi.org/10.1007/978-3-319-30936-1