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

51,99 €

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.