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
Editat de Sam Lindley, Conor McBride, Phil Trinder, Don Sannellaen Limba Engleză Paperback – 31 mar 2016
Din seria Lecture Notes in Computer Science
- 20% Preț: 1040.03 lei
- 20% Preț: 333.46 lei
- 20% Preț: 335.08 lei
- 20% Preț: 444.17 lei
- 20% Preț: 238.01 lei
- 20% Preț: 333.46 lei
- 20% Preț: 438.69 lei
- Preț: 440.52 lei
- 20% Preț: 336.71 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 632.22 lei
- 17% Preț: 427.22 lei
- 20% Preț: 641.78 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1053.45 lei
- 20% Preț: 579.56 lei
- Preț: 373.56 lei
- 20% Preț: 330.23 lei
- 15% Preț: 429.74 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 389.48 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1386.07 lei
- 20% Preț: 1003.66 lei
- 20% Preț: 567.60 lei
- 20% Preț: 575.48 lei
- 20% Preț: 571.63 lei
- 20% Preț: 747.79 lei
- 15% Preț: 568.74 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 346.40 lei
- 20% Preț: 574.05 lei
- Preț: 402.62 lei
- 20% Preț: 584.40 lei
- 20% Preț: 747.79 lei
- 20% Preț: 809.19 lei
- 20% Preț: 649.49 lei
- 20% Preț: 343.16 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 335.74 lei
Preț vechi: 419.67 lei
-20% Nou
Puncte Express: 504
Preț estimativ în valută:
64.27€ • 66.81$ • 53.29£
64.27€ • 66.81$ • 53.29£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
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
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