Types and Programming Languages

Autor Benjamin C. Pierce

Types and Programming Languages - Benjamin C. Pierce

Types and Programming Languages

Autor Benjamin C. Pierce

0.0 z 5 hvězdiček 0 hodnocení čtenářů

Kniha ( pevná vazba )

Do košíku

2 805 Kč s DPH
Jsme transparentní

Spisy 7 - Literární žurnalistika

Při zaslání zboží balíčkem

K nákupu nad 1999 Kč dárek zdarma v hodnotě 599 Kč

Spisy 7 - Literární žurnalistika

A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic… Přejít na celý popis

Kupte 10 knih a zaplaťte jen 500 Kč! Poslední šance! Už končíme. Více informací

K tomuto produktu zákazníci kupují

Popis Hodnocení 0.0 z 5 hvězdiček 0 Vývoj ceny

Popis

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems—and of programming languages from a type-theoretic perspective—has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

Sdílet

kategorie
Knihy » Cizojazyčná literatura » English literature » Nonfiction » Information Technology
Témata
Nakladatel
MIT Press Ltd
Rozměr
214 x 236 x 34
jazyk
angličtina
Vazba
pevná vazba
Hmotnost
1338 g
isbn
978-0-262-16209-8
Počet stran
648
datum vydání
4.01.2002
ean
9780262162098

Hodnocení a recenze čtenářů Nápověda

0.0 z 5 0 hodnocení čtenářů

0× 5 hvězdiček 0× 4 hvězdičky 0× 3 hvězdičky 0× 2 hvězdičky 0× 1 hvezdička

Přidejte své hodnocení knihy

Načíst další hodnocení

Zobrazit všechna hodnocení

Přidat hodnocení

Vývoj ceny

Vývoj ceny Nápověda

Získejte přehled o vývoji ceny za posledních 60 dní.

Maloobchodní cena Minimální prodejní cena: 0 Kč Nápověda

Články, které stojí za pozornost

Zobrazit blog

Články, které stojí za pozornost