第四章 元语言抽象

• 4.1 元循环求值器
• 4.2 Scheme 的变形 —— 惰性求值
• 4.3 Scheme 的变形 —— 非确定性求值
• 4.4 逻辑程序设计

comments powered by Disqus