上传者: tianyuanzk
|
上传时间: 2021-05-30 00:21:27
|
文件大小: 1.74MB
|
文件类型: PDF
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.