Practical Foundations for Programming La

Kort om boken

Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbo…
1543,-
1929,-
Spar 386,-
Format/språk (4 forskjellige)
Format
E-Bok
Forklaring av formater
  • Innbundet

    Bok med hardt omslag.

  • Pocket

    Heftet bok med mykt omslag.

  • Kartonert

    Bok med tykke, stive sider.

  • E-Bok

    Digitalt format. E-bok kan leses i ARK-appen eller på Kindle. Bøkene kan også lastes ned fra Din side.

  • Nedlastbar lydbok

    Digitalt format. Nedlastbar lydbok kan lyttes til i ARK-appen. Bøkene kan også lastes ned fra Din side.

  • Digikort lydbok

    Lydbok på digikort. Krever Digispiller.

  • Compact Disc

    Lydbok eller musikk på CD. Krever CD-spiller eller annen kompatibel avspiller.

  • Vinyl

    Vinylplate. Krever platespiller.

  • DVD

    DVD-film. Krever DVD-spiller eller annen kompatibel avspiller.

  • Blu-ray

    Blu-ray-film. Krever Blu-ray-spiller eller annen kompatibel avspiller.

    Om Practical Foundations for Programming La

    Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.

    Kundevurderinger

    Totalvurdering: 

    Gi din vurdering: 
    Totalvurdering: 

    Detaljer

    Format
    E-Bok
    Filformat
    PDF
    Utgivelsesår
    2012
    Forlag
    Cambridge University Press
    Språk
    Engelsk
    ISBN
    9781107237308

    Anbefalt

    Anbefalt