内容简介
书名：类型和程序设计语言出版社：电子工业出版社
作者：皮尔斯
出版年份：0
电子书格式： pdf
简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
ISBN：
- 书名
类型和程序设计语言（皮尔斯）（电子工业出版社）
出版社：电子工业出版社
作者：皮尔斯
出版年份：0
电子书格式： pdf
简介：《类型和程序设计语言》是Benjamin C. Pierce教授的经典之作，由电子工业出版社出版。这本书深入探讨了类型系统在编程语言中的应用，涵盖了类型理论、类型检查、类型推断等核心概念，适合计算机科学专业学生、程序员以及对编程语言设计有兴趣的读者。多考网(duokao)提供此书免费下载，助力您的编程学习和研究。
ISBN：
![巴托比症候群（[西班牙]恩里克·比拉-马塔斯（Enrique Vila-Matas）著， 蔡琬梅 译）（上海人民出版社 2015）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251226/h7WS/3fc542afd3a8bb17.jpeg)
![好好接话 (山口拓朗 [山口拓朗])](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251208/f3CA/7bf62b15d22ecb46.jpg)
![赤裸的午餐 俊友（[美]巴勒斯著，[法]莫泊桑著）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251226/fITq/09786bf2c345fa7b.jpeg)
![硅谷钢铁侠：埃隆·马斯克的冒险人生（[美]阿什利·万斯）（中信出版社 2017）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251209/83t7/417922032b25cc64.jpg)
