Types and Programming Languages

Name: Types and Programming Languages
Price: 48.15 USD
Availability: InStock
ISBN: 9780262162098

ISBN-10: 0262162091

ISBN-13: 9780262162098

Edition: 2002

Authors: Benjamin C. Pierce

List price: $95.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Sell

Get cash fast!

Buy new: $85.06

Marketplace

3 new & used from $48.15

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This text provides an introduction to type systems in computer science and to the basic theory of programming languages. Each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations.

Book details

List price: $95.00
Copyright year: 2002
Publisher: MIT Press
Publication date: 1/4/2002
Binding: Hardcover
Pages: 648
Size: 8.27" wide x 9.29" long x 1.46" tall
Weight: 3.212
Language: English

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



Preface



Introduction



Mathematical Preliminaries



Untyped Systems



Untyped Arithmetic Expressions



An ML Implementation of Arithmetic Expressions



The Untyped Lambda-Calculus



Nameless Representation of Terms



An ML Implementation of the Lambda-Calculus



Simple Types



Typed Arithmetic Expressions



Simply Typed Lambda-Calculus



An ML Implementation of Simple Types



Simple Extensions



Normalization



References



Exceptions



Subtyping



Subtyping



Metatheory of Subtyping



An ML Implementation of Subtyping



Case Study: Imperative Objects



Case Study: Featherweight Java



Recursive Types



Recursive Types



Metatheory of Recursive Types



Polymorphism



Type Reconstruction



Universal Types



Existential Types



An ML Implementation of System F



Bounded Quantification



Case Study: Imperative Objects, Redux



Metatheory of Bounded Quantification



Higher-Order Systems



Type Operators and Kinding



Higher-Order Polymorphism



Higher-Order Subtyping



Case Study: Purely Functional Objects


Appendices



Solutions to Selected Exercises



Notational Conventions


References


Index