语义工程和PLT Redex

第1章 语义via句法

第1.1节 定义集合

第1.2节 关系

第1.3节 作为等价关系的语义

第1.4节 语义via归约

第1.5节 上下文中的归约

第1.6节 求值函数

第1.7节 记号总结

第2章 分析句法性语义

第2.1节 从问题到数学声明

第2.2节 作为定理的回答

第3章 $\lambda$演算

第3.1节 函数和$\lambda$演算

第3.2节 $\lambda$演算: 句法和归约

第3.3节 编码布尔

第3.4节 编码序对

第3.5节 编码数字

第3.6节 编码和错误

第3.7节 递归

第3.8节 一致性和规范形式

第3.9节 规范形式和归约策略

第3.10节 历史

第4章 ISWIM

第4.1节 ISWIM表达式

第4.2节 ISWIM的计算

第4.3节 $\alpha$, $\eta$和商

第4.4节 ${\mathsf{Y}}_{\mathsf{V}}$组合子

第4.5节 求值

第4.6节 一致性

第4.7节 观察等价

第4.8节 历史

第5章 一个抽象句法机器

第5.1节 标准归约

第5.2节 标准归约定理

第5.3节 对于观察等价进行推理

第5.4节 一致求值

第5.5节 历史

第6章 抽象寄存器机器

第6.1节 CC机器

第6.2节 SCC机器

第6.3节 CK机器

第6.4节 CEK机器

第6.5节 历史

第7章 尾调用和更多的空间节省

第7.1节 SECD机器

第7.2节 求值上下文的空间

第7.3节 环境的空间

第7.4节 历史

第8章 控制: 错误, 异常和延续

第9章 状态: 命令式赋值

第10章 简单类型ISWIM