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编程语言的第一篇论文. 这篇论文没有什么理论性质的内容, 几乎全是在编写程序.