A list of successes that can change the world [electronic resource] : essays dedicated to Philip Wadler on the occasion of his 60th birthday / Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.)

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

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Lindley, Sam (Editor), McBride, Conor (Editor), Trinder, Phil (Editor), Sannella, D. (Donald), 1956- (Editor)
Format:	Electronic eBook
Language:	English
Published:	Switzerland : Springer, 2016.
Series:	Lecture notes in computer science ; 9600. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Computer science. Computer programming. Software engineering. Programming languages (Electronic computers) Computer logic. Logic, Symbolic and mathematical. Festschriften.