List of Successes That Can Change the World

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

AvSam Lindley,Conor McBride

Häftad, Engelska, 2016

Del 9600 i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2016-03-31
Mått:155 x 235 x 28 mm
Vikt:756 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:479
Förlag:Springer International Publishing AG
ISBN:9783319309354

Utforska kategorier

Innehållsförteckning

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.