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

Sam Lindley; Conor McBride; Phil Trinder; Don Sannella

doi:10.1007/978-3-319-30936-1

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/Report › Book

Original language	English
Publisher	Springer
Number of pages	478
ISBN (Print)	9783319309354
DOIs	https://doi.org/10.1007/978-3-319-30936-1
Publication status	Published - 25 Mar 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9600
ISSN (Print)	0302-9743

Keywords

programs
programming languages
software engineering
mathematical logic
programming techniques

Access to Document

10.1007/978-3-319-30936-1

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

@book{725553298f434e0a868c306bd409adbe,

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

keywords = "programs, programming languages, software engineering, mathematical logic, programming techniques",

editor = "Sam Lindley and Conor McBride and Phil Trinder and Don Sannella",

year = "2016",

month = mar,

day = "25",

doi = "10.1007/978-3-319-30936-1",

language = "English",

isbn = "9783319309354",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

}

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

A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. / Lindley, Sam (Editor); McBride, Conor (Editor); Trinder, Phil (Editor) et al.

Springer, 2016. 478 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9600).

Research output: Book/Report › Book

TY - BOOK

T1 - A List of Successes That Can Change the World

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

A2 - Lindley, Sam

A2 - McBride, Conor

A2 - Trinder, Phil

A2 - Sannella, Don

PY - 2016/3/25

Y1 - 2016/3/25

KW - programs

KW - programming languages

KW - software engineering

KW - mathematical logic

KW - programming techniques

UR - http://www.scopus.com/inward/record.url?scp=84973909638&partnerID=8YFLogxK

UR - http://link.springer.com/

U2 - 10.1007/978-3-319-30936-1

DO - 10.1007/978-3-319-30936-1

M3 - Book

AN - SCOPUS:84973909638

SN - 9783319309354

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - A List of Successes That Can Change the World

PB - Springer

ER -

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

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

Publication series

Keywords

Access to Document

Other files and links

Cite this