Types and Programming Languages Pierce Benjamin C. Professor University of Pennsylvania
Types and Programming Languages Pierce Benjamin C. Professor University of Pennsylvania A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for…
Specifikacia Types and Programming Languages Pierce Benjamin C. Professor University of Pennsylvania
Types and Programming Languages Pierce Benjamin C. Professor University of Pennsylvania
A comprehensive introduction to type systems and programming languages.A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages.
Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation,