AIM和AITR考古

AIM即AI Memo, 即人工智能备忘录; AITR即AI Technical Report, 即人工智能技术报告. 作为一个Lisper, 我总是接触到这些论文.

第1章 AITR-474 (RABBIT: A Compiler for SCHEME)

这是历史上第一个Scheme语言的编译器, 也是历史上第一个以CPS为IR的编译器. 这个编译器的目标语言并非什么native assembly, 而是受限形式的MacLisp.

第2章 AITR-794 (Presentation Based User Interface)

第3章 AIM-168 (PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot)

第4章 AIM-349 (SCHEME: An Interpreter for Extended Lambda Calculus)

这是历史上关于Scheme编程语言的第一篇论文. 这篇论文没有什么理论性质的内容, 几乎全是在编写程序.