计算机科学考古

句法闭包

卫生宏技术

Core War介绍

理解Maxima

Scheme的三种实现模型

把东西粘在一起

Standard ML的历史

构建问题解决器

乌龟几何

操作语义的结构方法

指称语义学

LearningZIL笔记

Computation Structures笔记