书名：类型和程序设计语言
出版社：电子工业出版社
作者：皮尔斯
出版年份：0
电子书格式： pdf
简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
ISBN：