KI-Beratung Beta

  • Produktbild: A List of Successes That Can Change the World
  • Produktbild: A List of Successes That Can Change the World
Band 9600

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2016

Abbildungen

XXII, 479 p. 79 illus., 4 illus. in color.

Herausgeber

Sam Lindley + weitere

Verlag

Springer

Seitenzahl

479

Maße (L/B/H)

23.5/15.5/2.8 cm

Gewicht

756 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-30935-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2016

Abbildungen

XXII, 479 p. 79 illus., 4 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

479

Maße (L/B/H)

23.5/15.5/2.8 cm

Gewicht

756 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-30935-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: A List of Successes That Can Change the World
  • Produktbild: A List of Successes That Can Change the World
  • 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.