List of Successes That Can Change the World

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

Häftad, Engelska, 2016

AvSam Lindley,Conor McBride,Phil Trinder,Don Sannella

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

Utgivningsdatum2016-03-31
Mått155 x 235 x 28 mm
Vikt756 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor479
FörlagSpringer International Publishing AG
ISBN9783319309354

Tillhör följande kategorier

Reactions on Monadic Lenses.- Conation ConfersConcurrency.- Counting Successes: Effects and Transformations for Non-deterministicPrograms.- The Essence of Inheritance.- Subtyping Supports Safe Session Substitution.-Proof Relevant Parametricity.- Comprehending Ringads.- Dragging Proofs out ofPictures.- Experiences with QuickCheck: Testing the Hard Stuff and StayingSane.- Cutting out Continuations.- The Lambda Calculus: Practice andPrinciple.- 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 withSpecial Effects.- The Computer Scientist Nightmare.- A Branding Strategy forBusiness Types.- The Recursive Union of Some Gradual Types.- A Delta for HybridType Checking.- Certifying Data in Multiparty Session Types.- Recursion Equationsas a Programming Language.