Author Statement

Benjamin C. Pierce

Collation

xxi, 623 P.: illus, figs, tables

Addition

,

Title

Types and programming languages

LC Class

005

LC Number

.133

LC CutterNumber

P 615 T

Publication Year

2002

Publication

The MIT Press

Subject

Programming languages (Electronic computers)

DocumentNumber

31959

ISBNN

, 1 , 3108 , 3-1

RecordNumber

9535