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.838 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 (HÆFTET)
Eksklusiv medlemspris kr 189

kr 280
Normalpris
kr 198
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 220

kr 320
Normalpris
kr 230
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (INDBUNDET)
Eksklusiv medlemspris kr 208

kr 299
Normalpris
kr 217
Medlemspris
SPAR
kr 91
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

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

kr 499
Normalpris
kr 346
Medlemspris
SPAR
kr 170
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (HÆFTET)
Eksklusiv medlemspris kr 27

kr 227
Normalpris
kr 47
Medlemspris
SPAR
kr 200
BOG (INDBUNDET)
Eksklusiv medlemspris kr 203

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

kr 201
Normalpris
kr 170
Medlemspris
SPAR
kr 35
BOG (HÆFTET)
Eksklusiv medlemspris kr 80

kr 229
Normalpris
kr 95
Medlemspris
SPAR
kr 149
BOG (HÆFTET)
Eksklusiv medlemspris kr 154

kr 229
Normalpris
kr 162
Medlemspris
SPAR
kr 75
BOG (INDBUNDET)
Eksklusiv medlemspris kr 239

kr 329
Normalpris
kr 248
Medlemspris
SPAR
kr 90
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (HARDBACK)
Eksklusiv medlemspris kr 25

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

kr 300
Normalpris
kr 209
Medlemspris
SPAR
kr 101
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 279
Normalpris
kr 207
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 183

kr 270
Normalpris
kr 192
Medlemspris
SPAR
kr 87
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

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

kr 935
Normalpris
kr 795
Medlemspris
SPAR
kr 156
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

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

kr 1.070
Normalpris
kr 903
Medlemspris
SPAR
kr 186
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 551

kr 641
Normalpris
kr 560
Medlemspris
SPAR
kr 90
BOG (HARDBACK)
Eksklusiv medlemspris kr 796

kr 957
Normalpris
kr 812
Medlemspris
SPAR
kr 161
BOG (PAPERBACK)
Eksklusiv medlemspris kr 446

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

kr 878
Normalpris
kr 749
Medlemspris
SPAR
kr 143
BOG (PAPERBACK)
Eksklusiv medlemspris kr 588

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

kr 935
Normalpris
kr 795
Medlemspris
SPAR
kr 156
BOG (HARDBACK)
Eksklusiv medlemspris kr 971

kr 1.183
Normalpris
kr 992
Medlemspris
SPAR
kr 212
BOG (HARDBACK)
Eksklusiv medlemspris kr 1126

kr 1.228
Normalpris
kr 1.136
Medlemspris
SPAR
kr 102
BOG (HARDBACK)
Eksklusiv medlemspris kr 402

kr 450
Normalpris
kr 407
Medlemspris
SPAR
kr 48
BOG (PAPERBACK)
Eksklusiv medlemspris kr 437

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

kr 754
Normalpris
kr 651
Medlemspris
SPAR
kr 115
BOG (PAPERBACK)
Eksklusiv medlemspris kr 481

kr 552
Normalpris
kr 488
Medlemspris
SPAR
kr 71
BOG (PAPERBACK)
Eksklusiv medlemspris kr 481

kr 552
Normalpris
kr 488
Medlemspris
SPAR
kr 71
BOG (PAPERBACK)
Eksklusiv medlemspris kr 534

kr 619
Normalpris
kr 543
Medlemspris
SPAR
kr 85