Programming Language Theory Book
Types and programming languages
Children
Date2002 DescriptionA 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. Isbn978-0262162098 Journey StatusReading Tags
Cover
Date2002 DescriptionA 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. Isbn978-0262162098 Journey StatusReading Tags Urlhttps://www.cis.upenn.edu/~bcpierce/tapl/