Types and Programming Languages
1 132 kr
1 132 kr
Tidigare lägsta pris:
1 375 kr
Tis, 11 feb - fre, 14 feb
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Produktbeskrivning
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.
Artikel.nr.
bd21153d-0d4f-403c-acba-8c4ddd61e3ce
Types and Programming Languages
1 132 kr
1 132 kr
Tidigare lägsta pris:
1 375 kr
Tis, 11 feb - fre, 14 feb
Säker betalning
14-dagars öppet köp
Säljs och levereras av
Adlibris
Liknande toppsäljare
UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
879 kr
Tidigare lägsta pris:
939 kr
Squid Game 2 Gonggi & Round Case koreanska
129 kr
INF Tillbehör för Roborock S5/S6 modeller 7 delar
169 kr
Tidigare lägsta pris:
199 kr
Bärbar Extern Hård Disk 2TB USB 3.0
329 kr
Samsung Galaxy Tab A9+ Wifi 64GB Svart
2 210 kr
Tidigare lägsta pris:
2 345 kr
Apple AirPods (andra generation) med Lightning-laddningsetui
1 448 kr
FENCHILIN Stor Hollywood sminkspegel med belysning USB Bordsskiva Väggfäste Vit spegel 80 x 58 cm
1 421 kr
Tidigare lägsta pris:
1 611 kr
12-pack Oral-B Kompatibla Tandborsthuvuden
89 kr
RCA AV till HDMI Converter / Adapter 1080P Universal White
99 kr
Pet Micro Precision Trimmer, 2024 Ny Uppgradering Hundtass Trimmer med LED-ljus
259 kr
Rekommendationer för dig
INF USB-C kortläsare för SD/TF-minneskort - Snabb dataöverföring 0
89 kr
Tidigare lägsta pris:
103 kr
Vevradio med Solceller, LED Ficklampa och 2000mAh Powerbank SOS SUNMATIC - Väderradio för hem- och campingnödsituationer med AM/FM-radio
289 kr
INF Styluspenna för iPad 2018-2023 VitiPad
199 kr
Tidigare lägsta pris:
249 kr
Nattlampa - Stjärnprojektor med LED-lampa - Astronaut
349 kr
iPhone Laddare Snabbladdare - Adapter + Kabel 20W USB-C 2m
99 kr
Pormaskborttagare i rostfritt stål, set med 3 instrument Silver
89 kr
2-Pack - Laddare för iPhone Adapter+Kabel 20W USB-C Snabbladdare
199 kr
Öronkuddar för Bose QuietComfort - QC35/QC25/QC15/AE2 Hörlurar Svart
99 kr
Löpband under skrivbordet 1-6KM/H Walking Jogging Machine för hemmakontor Svart
1 849 kr
INF Cocktail set Dubbel shaker 750ml Rostfritt stål Silver 10 delar
269 kr
Tidigare lägsta pris:
385 kr