Franklin

Types and Programming Languages.

Other records:
Author/Creator:
Pierce, Benjamin C.
Publication:
Cambridge : MIT Press, 2002.
Format/Description:
Book
1 online resource (646 pages)
Subjects:
Programming languages (Electronic computers).
Form/Genre:
Electronic books.
Summary:
A comprehensive introduction to type systems and programming languages.
Contents:
Intro
Contents
Preface
1 - Introduction
2 - Mathematical Preliminaries
I - Untyped Systems
3 - Untyped Arithmetic Expressions
4 - An ML Implementation of Arithmetic Expressions
5 - The Untyped Lambda-Calculus
6 - Nameless Representation of Terms
7 - An ML Implementation of the Lambda-Calculus
II - Simple Types
8 - Typed Arithmetic Expressions
9 - Simply Typed Lambda-Calculus
10 - An ML Implementation of Simple Types
11 - Simple Extensions
12 - Normalization
13 - References
14 - Exceptions
III - Subtyping
15 - Subtyping
16 - Metatheory of Subtyping
17 - An ML Implementation of Subtyping
18 - Case Study: Imperative Objects
19 - Case Study: Featherweight Java
IV - Recursive Types
20 - Recursive Types
21 - Metatheory of Recursive Types
V - Polymorphism
22 - Type Reconstruction
23 - Universal Types
24 - Existential Types
25 - An ML Implementation of System F
26 - Bounded Quantification
27 - Case Study: Imperative Objects, Redux
28 - Metatheory of Bounded Quantification
VI - Higher-Order Systems
29 - Type Operators and Kinding
30 - Higher-Order Polymorphism
31 - Higher-Order Subtyping
32 - Case Study: Purely Functional Objects
Appendices
A - Solutions to Selected Exercises
B - Notational Conventions
References
Index.
Notes:
Description based on publisher supplied metadata and other sources.
Local notes:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2021. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Other format:
Print version: Pierce, Benjamin C. Types and Programming Languages
ISBN:
9780262256810
9780262162098
OCLC:
51958338
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy