A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday /: essays dedicated to Philip Wadler on the occasion of his 60th birthday. (2016)

• Record Type: Book
• Further Information: Note: Sam Lindley, Conor McBride, Phil Trinder, Don Sannella, (Eds).
• Editors: Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, D (Donald), 1956-
• Other Names: Wadler, Philip 1956- honouree.
• Contents: Reactions on Monadic Lenses.- Conation Confers Concurrency.- Counting Successes: Effects and Transformations for Non-deterministic Programs.- The Essence of Inheritance.- Subtyping Supports Safe Session Substitution.- Proof Relevant Parametricity.- Comprehending Ringads.- Dragging Proofs out of Pictures.- Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane.- Cutting out Continuations.- The Lambda Calculus: Practice and Principle.- I Got Plenty o' Nuttin'.- Pointlessness Is Better than Listlessness.- The Essence of Dependent Object Types.- Linear lambda-mu Is CP (more or less).- A Reaction on types.- The Essence of Multi-Stage Evaluation in LMS.- 1ML with Special Effects.- The Computer Scientist Nightmare.- A Branding Strategy for Business Types.- The Recursive Union of Some Gradual Types.- A Delta for Hybrid Type Checking.- Certifying Data in Multiparty Session Types.- Recursion Equations as a Programming Language.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (479 pages)
• Subjects: 004; Computer science; Computers -- Programming Languages -- General; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Computers -- Programming -- General; Programming & scripting languages: general; Software Engineering; Mathematical theory of computation; Computer programming / software development; Logic design; Software engineering
• Languages: English
• ISBNs: 9783319309361
• Related ISBNs: 9783319309354
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.