内容简介
书名：类型和程序设计语言出版社：电子工业出版社
作者：皮尔斯
出版年份：0
电子书格式： pdf
简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
ISBN：
- 书名
类型和程序设计语言（皮尔斯）（电子工业出版社）
出版社：电子工业出版社
作者：皮尔斯
出版年份：0
电子书格式： pdf
简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
ISBN：
![英国病人（企鹅经典丛书第四辑）（[加拿大]迈克尔·翁达杰）（2020）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251228/naTx/8e282427e7aadc0d.jpeg)
![地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集！改良基因会不会带来灾难？置身未来，看时间空间合伙变魔术！)（王诺诺 [王诺诺]）（湖南文艺出版社 2019）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251227/RFHQ/403966a591df2716.jpeg)
