Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv
Types and Programming Languages
SPAR
kr 272
Types and Programming Languages
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.

Eksklusiv medlemspris 685 kr
Medlemspris 712 kr
Eksklusiv medlemspris og medlemspris er kun for medlemmer. Du bliver automatisk medlem når du køber til eksklusiv medlemspris eller medlemspris. Få 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
5 - 7 hverdage
10 kr
Lavt pakkegebyr
Normalpris 957 kr
Fragt: 59 kr
7 - 10 hverdage
20 kr
Pakkegebyr
Spar 272 kr
Se vores konkurrenters priser her
God 15.823 anmeldelser på
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.

Produktdetaljer
Sprog: Engelsk
Sider: 648
ISBN-13: 9780262162098
Indbinding: Hardback
Udgave:
ISBN-10: 0262162091
Udg. Dato: 4 jan 2002
Længde: 34mm
Bredde: 236mm
Højde: 214mm
Oplagsdato: 4 jan 2002
Forfatter(e) Benjamin C. (Professor Pierce, Benjamin C. Pierce


Kategori Programmerings- & scriptsprog


Sprog Engelsk


Indbinding Hardback


Sider 648


Udgave


Længde 34mm


Bredde 236mm


Højde 214mm

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 859

kr 1.499
Normalpris
kr 923
Medlemspris
SPAR
kr 640
BOG (INDBUNDET)
Eksklusiv medlemspris kr 170

kr 270
Normalpris
kr 180
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (PAPERBACK)
Eksklusiv medlemspris kr 165

kr 198
Normalpris
kr 168
Medlemspris
SPAR
kr 33
BOG (INDBUNDET)
Eksklusiv medlemspris kr 329

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (INDBUNDET)
Eksklusiv medlemspris kr 240

kr 349
Normalpris
kr 251
Medlemspris
SPAR
kr 109
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 175

kr 299
Normalpris
kr 187
Medlemspris
SPAR
kr 124
BOG (INDBUNDET)
Eksklusiv medlemspris kr 216

kr 279
Normalpris
kr 222
Medlemspris
SPAR
kr 63
BOG (HÆFTET)
Eksklusiv medlemspris kr 275

kr 320
Normalpris
kr 280
Medlemspris
SPAR
kr 45
BOG (INDBUNDET)
Eksklusiv medlemspris kr 118

kr 149
Normalpris
kr 121
Medlemspris
SPAR
kr 31
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

kr 227
Normalpris
kr 45
Medlemspris
SPAR
kr 202
BOG (HÆFTET)
Eksklusiv medlemspris kr 211

kr 299
Normalpris
kr 220
Medlemspris
SPAR
kr 88
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

kr 300
Normalpris
kr 213
Medlemspris
SPAR
kr 97
BOG (INDBUNDET)
Eksklusiv medlemspris kr 246

kr 329
Normalpris
kr 254
Medlemspris
SPAR
kr 83
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

kr 810
Normalpris
kr 695
Medlemspris
SPAR
kr 128
BOG (HARDBACK)
Eksklusiv medlemspris kr 776

kr 935
Normalpris
kr 792
Medlemspris
SPAR
kr 159
BOG (PAPERBACK)
Eksklusiv medlemspris kr 443

kr 506
Normalpris
kr 449
Medlemspris
SPAR
kr 63
BOG (PAPERBACK)
Eksklusiv medlemspris kr 881

kr 1.070
Normalpris
kr 900
Medlemspris
SPAR
kr 189
BOG (PAPERBACK)
Eksklusiv medlemspris kr 367

kr 450
Normalpris
kr 375
Medlemspris
SPAR
kr 83
BOG (PAPERBACK)
Eksklusiv medlemspris kr 455

kr 518
Normalpris
kr 461
Medlemspris
SPAR
kr 63
BOG (PAPERBACK)
Eksklusiv medlemspris kr 549

kr 641
Normalpris
kr 558
Medlemspris
SPAR
kr 92
BOG (HARDBACK)
Eksklusiv medlemspris kr 794

kr 957
Normalpris
kr 810
Medlemspris
SPAR
kr 163
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

kr 506
Normalpris
kr 452
Medlemspris
SPAR
kr 60
BOG (PAPERBACK)
Eksklusiv medlemspris kr 732

kr 878
Normalpris
kr 747
Medlemspris
SPAR
kr 146
BOG (PAPERBACK)
Eksklusiv medlemspris kr 588

kr 811
Normalpris
kr 610
Medlemspris
SPAR
kr 223
BOG (HARDBACK)
Eksklusiv medlemspris kr 776

kr 935
Normalpris
kr 792
Medlemspris
SPAR
kr 159
BOG (PAPERBACK)
Eksklusiv medlemspris kr 292

kr 416
Normalpris
kr 304
Medlemspris
SPAR
kr 124
BOG (HARDBACK)
Eksklusiv medlemspris kr 908

kr 1.104
Normalpris
kr 928
Medlemspris
SPAR
kr 196
BOG (HARDBACK)
Eksklusiv medlemspris kr 1219

kr 1.757
Normalpris
kr 1.273
Medlemspris
SPAR
kr 538
BOG (HARDBACK)
Eksklusiv medlemspris kr 400

kr 450
Normalpris
kr 405
Medlemspris
SPAR
kr 50
BOG (PAPERBACK)
Eksklusiv medlemspris kr 437

kr 495
Normalpris
kr 443
Medlemspris
SPAR
kr 58
BOG (PAPERBACK)
Eksklusiv medlemspris kr 636

kr 754
Normalpris
kr 648
Medlemspris
SPAR
kr 118
BOG (PAPERBACK)
Eksklusiv medlemspris kr 470

kr 540
Normalpris
kr 477
Medlemspris
SPAR
kr 70
BOG (PAPERBACK)
Eksklusiv medlemspris kr 478

kr 552
Normalpris
kr 485
Medlemspris
SPAR
kr 74