文件名称：Types and Programming Languages
文件大小：1.74MB
文件格式：PDF
更新时间：2022-02-19 15:22:01
编程语言理论 类型系统
The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in software engineering, language design, high-performance compiler imple- mentation, and security. This text offers a comprehensive introduction to the fundamental definitions, results, and techniques in the area.