Types and Programming Languages 豆 9.1分

资源最后更新于 2020-08-23 08:22:26

作者：Benjamin C. Pierce

出版社：The MIT Press

出版日期：2002-01

ISBN：9780262162098

文件格式： pdf

标签： 类型系统 programming 编程语言 计算机科学 PL 计算机 Theory Programming

简介· · · · · ·

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 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 s...