Types and Programming Languages

Etukansi
MIT Press, 2002 - 623 sivua
16 Arvostelut

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.

  

Mitä ihmiset sanovat - Kirjoita arvostelu

Käyttäjien tekemät arviot

5 tähteä
10
4 tähteä
4
3 tähteä
1
2 tähteä
0
1 tähti
1

Review: Types and Programming Languages

Käyttäjän arvio  - Jyri-matti Lähteenmäki - Goodreads

I doubt that I would have gotten total understanding even if I hade made the exercises, but still, I got a lot of understanding about type systems and the kind of things there are to consider. Lue koko arvostelu

Review: Types and Programming Languages

Käyttäjän arvio  - Patrick - Goodreads

very dense and theory heavy. but interesting, none the less. Lue koko arvostelu

Aiheeseen liittyviä teoksia

Sisältö

II
1
III
4
IV
9
V
10
VI
12
VII
15
VIII
16
IX
18
CV
249
CVI
251
CVII
254
CVIII
261
CIX
262
CX
263
CXI
265
CXII
267

X
19
XI
20
XII
21
XIII
23
XIV
26
XV
29
XVI
32
XVII
34
XVIII
43
XIX
45
XX
46
XXI
47
XXII
49
XXIII
51
XXIV
52
XXV
58
XXVI
68
XXVII
73
XXVIII
75
XXIX
76
XXX
78
XXXI
80
XXXII
83
XXXIII
85
XXXIV
87
XXXV
88
XXXVI
89
XXXVII
91
XXXVIII
92
XXXIX
95
XL
99
XLI
100
XLII
104
XLIII
108
XLIV
109
XLV
111
XLVII
113
XLVIII
115
L
117
LI
118
LII
119
LIII
121
LIV
124
LV
126
LVI
128
LVII
129
LVIII
132
LIX
136
LX
142
LXI
146
LXII
149
LXIII
152
LXIV
153
LXV
159
LXVII
162
LXVIII
165
LXIX
170
LXX
171
LXXI
172
LXXII
173
LXXIII
175
LXXIV
179
LXXV
181
LXXVI
182
LXXVII
188
LXXVIII
191
LXXIX
193
LXXX
200
LXXXI
206
LXXXII
207
LXXXIII
209
LXXXIV
210
LXXXV
213
LXXXVI
218
LXXXVII
220
LXXXVIII
221
LXXXIX
222
XC
225
XCI
228
XCII
229
XCIV
230
XCV
231
XCVI
233
XCVII
234
XCIX
235
C
237
CI
241
CII
244
CIII
245
CIV
247
CXIII
268
CXIV
275
CXV
279
CXVII
281
CXVIII
282
CXIX
284
CXX
286
CXXI
288
CXXII
290
CXXIII
295
CXXIV
298
CXXV
299
CXXVI
304
CXXVII
309
CXXVIII
311
CXXIX
312
CXXX
315
CXXXI
317
CXXXII
319
CXXXIII
321
CXXXIV
326
CXXXV
329
CXXXVI
330
CXXXVII
331
CXXXVIII
336
CXXXIX
339
CXL
340
CXLI
341
CXLII
344
CXLIII
353
CXLIV
354
CXLV
357
CXLVI
358
CXLVII
359
CXLVIII
360
CXLIX
361
CL
363
CLI
368
CLII
377
CLIII
379
CLIV
381
CLV
382
CLVI
383
CLVII
385
CLVIII
386
CLIX
389
CLX
391
CLXI
396
CLXII
400
CLXIII
406
CLXIV
408
CLXV
411
CLXVI
417
CLXVII
418
CLXVIII
421
CLXIX
424
CLXX
427
CLXXI
432
CLXXII
435
CLXXIII
436
CLXXIV
437
CLXXV
439
CLXXVI
440
CLXXVII
445
CLXXVIII
449
CLXXIX
450
CLXXX
453
CLXXXI
461
CLXXXII
462
CLXXXIII
467
CLXXXIV
469
CLXXXV
472
CLXXXVII
475
CLXXXVIII
476
CLXXXIX
477
CXC
479
CXCI
480
CXCII
481
CXCIII
482
CXCIV
485
CXCV
486
CXCVI
488
CXCVII
491
CXCVIII
493
CXCIX
565
CC
566
CCI
567
CCII
605
Tekijänoikeudet

Muita painoksia - Näytä kaikki

Yleiset termit ja ilmaukset

Viitteet tähän teokseen

Kaikki Kirjat-palvelun tulokset »

Viittaukset verkkosivuilla

Types and Programming Languages
"Types and Programming Languages is carefully written with a well-balanced choice of topics. It focuses on pragmatics, with the right level of necessary ...
www.cis.upenn.edu/ ~bcpierce/ tapl/

School of Informatics Course Descriptor
Benjamin C Pierce, Types and Programming Languages, MIT Press, 2002. Benjamin C Pierce, editor, Advanced Topics in Types and Programming Languages, ...
www.inf.ed.ac.uk/ teaching/ courses/ 2007/ tpl.html

Advanced Topics in Types and Programming Languages | Lambda the ...
Scott's right: it isn't so much "Advanced Topics in Types and Programming Languages" as "Topics in Advanced Types and Programming Languages. ...
lambda-the-ultimate.org/ node/ 484

BENJAMIN C. PIERCE (ED.) * Advanced Topics in Types and ...
Advanced Topics in Types and Programming Languages. The MIT Press (2005) ISBN 0-262-16228-8. £39.95. 574 pp. Hardbound. Felice Cardone ...
comjnl.oxfordjournals.org/ cgi/ content/ full/ 49/ 1/ 130

Types and Programming Languages
Types and Programming Languages Lecture 16 - Simon Gay. Types and Programming Languages. Lecture 15. Simon Gay. Department of Computing Science ...
www.dcs.gla.ac.uk/ ~simon/ teaching/ tpl/ lec15.ppt

Advanced Topics in Types and Programming Languages - The MIT Press
A thorough and accessible introduction to a range of key ideas in type systems for programming language
mitpress.mit.edu/ 0262162288

citeulike: Advanced Topics In Types And Programming Languages
TY - BOOK ID - pierce:attapl TI - Advanced Topics In Types And Programming Languages PB - MIT Press SN - 0262162288 N2 - The study of type systems for ...
www.citeulike.org/ user/ jimburton/ article/ 105559

CMPS 290G - Topics in Software Engineering - Software Validation ...
Textbook: Types and Programming Languages, Benjamin C. Pierce. One copy will be made available in the Software Engineering lab, E2-393. ...
www.cse.ucsc.edu/ classes/ cmps290g/ Spring05/

Types and Programming Languages: The Next Generation
Types and Programming Languages: The Next Generation. Benjamin C. Pierce. University of Pennsylvania. Abstract. This tutorial surveys the state of the art ...
csdl.computer.org/ comp/ proceedings/ lics/ 2003/ 1884/ 00/ 18840032.pdf

New book: Types and Programming Languages
Subject: New book: Types and Programming Languages; From: "Benjamin C. Pierce" <bcpierce@xxxxxxxxxxxxxxxxxx>; Date: Sat, 23 Feb 2002 13:06:00 EST ...
www.lsv.ens-cachan.fr/ ccl/ approved/ 2002.dir/ msg00027.html

Tietoja kirjoittajasta (2002)

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

Kirjaluettelon tiedot