A List of Successes That Can Change the World de Sam Lindley

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday: Lecture Notes in Computer Science, cartea 9600

Sam Lindley

Conor McBride

Phil Trinder

Don Sannella

en Limba Engleză Paperback – 31 mar 2016

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.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 741^.34 lei
20%

Preț: 340^.22 lei
20%

Preț: 343^.43 lei
20%

Preț: 315^.18 lei
20%

Preț: 327^.41 lei
20%

Preț: 1031^.06 lei
20%

Preț: 438^.67 lei
20%

Preț: 315^.76 lei
20%

Preț: 330^.61 lei
20%

Preț: 148^.66 lei
20%

Preț: 122^.89 lei
20%

Preț: 995^.03 lei
20%

Preț: 562^.71 lei
20%

Preț: 237^.99 lei
20%

Preț: 504^.57 lei
20%

Preț: 332^.20 lei
15%

Preț: 563^.85 lei
20%

Preț: 636^.26 lei
5%

Preț: 365^.59 lei
20%

Preț: 321^.95 lei
20%

Preț: 310^.26 lei
20%

Preț: 607^.38 lei
Preț: 370^.38 lei
20%

Preț: 172^.68 lei
20%

Preț: 315^.76 lei
20%

Preț: 662^.78 lei
20%

Preț: 256^.26 lei
20%

Preț: 440^.36 lei
20%

Preț: 626^.79 lei
20%

Preț: 566^.70 lei
17%

Preț: 360^.19 lei
20%

Preț: 309^.90 lei
20%

Preț: 579^.38 lei
20%

Preț: 301^.94 lei
20%

Preț: 307^.71 lei
20%

Preț: 369^.12 lei
20%

Preț: 330^.61 lei
20%

Preț: 1044^.38 lei
20%

Preț: 574^.58 lei
Preț: 399^.17 lei
20%

Preț: 802^.24 lei
20%

Preț: 569^.11 lei
20%

Preț: 1374^.12 lei
20%

Preț: 333^.84 lei
20%

Preț: 538^.29 lei
20%

Preț: 326^.97 lei

Specificații

ISBN-13: 9783319309354
ISBN-10: 3319309358
Pagini: 479
Ilustrații: XXII, 479 p. 79 illus., 4 illus. in color.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:1st ed. 2016
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

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.

Caracteristici

Contains refereed papers dedicated to Philip Wadler and to his work Collects a number of papers by Philip's collaborators over the years presenting a broad range of topics reflecting Philip's versatility Depicts Phil's major contributions to programming language design, in particularcontributing to functional programming and the theory underpinning functionallanguages, as well as his major contributions to type systems for programminglanguages and logic Includes supplementary material: sn.pub/extras