书评

The Little Schemer

The Seasoned Schemer

The Reasoned Schemer

抽去一切的逻辑编程语言还剩下什么? 那就是unification了.

The Little Prover

这本书介绍了ACL2的原理, 抽去了一切不必要的自动化, 只剩下了项重写和归纳法这两个核心.

A Little Java, A Few Patterns

这本书的目的只是介绍访问者模式, 别无其他. 介绍访问者模式的目的只是为了在Java里写解释器之类的程序.

Semantics Engineering with PLT Redex

A Structural Approach to Operational Semantics

Definitional Interpreters for Higher-Order Programming Languages

Calculus (Apostol)

作者在写书之前就已经想好了本书应该具有的三个特点:

1. 数学基础一塌糊涂的人也应该能够读懂;
2. 要使用公理化方法;
3. 要从历史发展顺序出发.