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

This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in...

Full description

Saved in:
Bibliographic Details
Main Authors Lindley, Sam, McBride, Conor, Trinder, Phil, Sannella, Don
Format eBook
LanguageEnglish
Published Cham Springer Nature 2016
Springer International Publishing AG
Springer International Publishing
Springer
Edition1
SeriesLecture Notes in Computer Science
Subjects
Computer programming, programs, data
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online AccessGet full text
ISBN9783319309361
3319309366
3319309358
9783319309354
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-30936-1

Cover

More Information
Summary:This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The contributions are made by some of the many who knowPhil and have been influenced by him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift. We attemptto summarize Phil Wadler's scientific achievements. In addition, we describethe personal style and enthusiasm that Phil has brought to the subject.
ISBN:9783319309361
3319309366
3319309358
9783319309354
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-30936-1