Types and programming languages

Benjamin C. Pierce

2002

Publisher / Author page ISBN 978-0262162098

A rigorous and comprehensive treatment of type systems for programming languages. Covers the lambda calculus, subtyping, bounded polymorphism, recursive types, and System F, grounded in formal proof theory.

Benjamin C. Pierce · 2002

Chapter 1. introductionBenjamin C. Pierce
Chapter 2. mathematical preliminariesBenjamin C. Pierce
Part i. untyped systemsBenjamin C. Pierce

Content

No content yet.