Lambda Tamer旧版本
这是即将发布的准最终版本POPL'10论文重点介绍了经过验证的编译器，从不纯的Mini-ML语言到理想的汇编语言。
本次发布以撰写示例，该示例演示了如何验证CPS转换，以便生成的代码可以与不同编译器生成的代码可靠地链接。
本次发布以未键入这是一个从非类型化Mini-ML语言到理想化汇编语言的经过验证的编译器。上一版本的通用操作语义被更标准的单语操作语义所取代。
增加了对形式化不纯对象语言及其转换的支持，通过深度嵌入具有选择性动态类型的元语言。大案例研究是对单态核ML的理想化版本的CPS翻译。
此版本与ICFP'08论文一起发布，随后的版本将取代它。它是基于新语法编码技术的完全重新实现，参数化高阶抽象语法代替德布鲁因指数。此版本还不包括任何用于Coq插件的OCaml代码，因此与以前的版本相比，它应该可以与Coq8.1+一起使用。该发行版中的示例包括简单类型lambda演算的CPS转换和闭包转换、System F的CPS翻译以及模式匹配编译器。
最初的Lambda Tamer版本仍然可用。请参见旧的头版.