• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    List of Successes That Can Change the World

    Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

    AvSam Lindley,Conor McBride

    Häftad, Engelska, 2016

    Del 9600 i serien Lecture Notes in Computer Science

    563 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2016-03-31
    • Mått:155 x 235 x 28 mm
    • Vikt:756 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:479
    • Förlag:Springer International Publishing AG
    • ISBN:9783319309354

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Programvaruutveckling inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • 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.