• 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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.03.2016

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

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: GPSR Kontakt

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 Confers
    Concurrency.- Counting Successes: Effects and Transformations for Non-deterministic
    Programs.- The Essence of Inheritance.- Subtyping Supports Safe Session Substitution.-
    Proof Relevant Parametricity.- Comprehending Ringads.- Dragging Proofs out of
    Pictures.- Experiences with QuickCheck: Testing the Hard Stuff and Staying
    Sane.- Cutting out Continuations.- The Lambda Calculus: Practice and
    Principle.- 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 with
    Special Effects.- The Computer Scientist Nightmare.- A Branding Strategy for
    Business Types.- The Recursive Union of Some Gradual Types.- A Delta for Hybrid
    Type Checking.- Certifying Data in Multiparty Session Types.- Recursion Equations
    as a Programming Language.