近期读书列表

《程序设计语言原理》

 

第五章 名字、绑定、类型检测和作用域

 

第六章 数据类型

 

第十一章 抽象数据类型和封装结构

 

《编程语言：原理与范型》

第四章 命名

第五章 类型

第六章 类型系统

第十三章 面向对象编程

13.1 抽象数据类型

附录A Clite的定义 A.3 Clite的类型系统

 

《程序设计语言概念》

第六章 类型系统和类型推测

6.1 程序设计中的类型

6.2 类型安全和类型检查

6.3 类型推测

6.4 多态和重载

6.5 类型声明和类型等价性

6.6 小结

 

第七章 作用域、函数和存储管理

7.1 块结构的语言

7.2 内嵌块

7.3 函数和子程序

7.4 高阶函数

7.5 本章小结

 

第九章 数据抽象和模块化

9.1 结构化程序设计

9.2 支持抽象机制的语言

9.3 模块

9.4 一般抽象

9.5 本章小结