TIL公司 swMATH ID: 22185 软件作者： 大卫·塔蒂；克里斯·斯通（Chris Stone）；格雷格·莫里塞特（Greg Morrisett）；罗伯特·哈珀；佩里·程 描述： TIL：一个面向ML的类型定向优化编译器。我们描述了一个新的标准ML编译器TIL，它基于四种技术：内涵多态性、无标记垃圾收集、传统函数语言优化和循环优化。尽管SML是一种多态语言，但我们使用内涵多态性和无标记垃圾收集来提供专门的表示。我们使用传统的函数语言优化来降低内涵多态性的成本，使用循环优化为递归函数生成良好的代码。我们给出了一个TIL将SML函数编译为机器代码的示例，并将TIL代码的性能与广泛使用的编译器新泽西州标准ML的性能进行了比较。 主页： https://www.cs.cmu.edu/~rwh/papers/til/tr.pdf 相关软件： TALX6公司；哈斯克尔；毫升；Coq公司；GHC公司；腿；自动化；CompCert公司；CertiCoq认证；CertiKOS公司；NESL公司；ASTREE公司；精灵；Twelf公司；艾菲尔；阿达95；DrScheme公司；Mz方案；口齿不清；Modula公司 引用于： 12文件 全部的 前5名29位作者引用 2 罗伯特·哈珀 1 阿马尔·艾哈迈德 1 吉尔·巴特 1 Lars Birkedal公司 1 罗尔·布鲁 1 威廉·鲍曼。 1 克里斯托弗·科尔比 1 卡尔·克里 1 多米尼克·达根 1 马提亚斯·费莱森 1 马修·弗拉特 1 路易斯·朱利安·吉列米特 1 约翰·哈特克利夫 1 苏雷什·贾甘纳森 1 杰·巴里 1 Fairouz D.卡马雷丁。 1 Paulette Koronkevich 1 Minamide、Yasuhiko 1 斯特凡·莫尼尔 1 罗伯·奈德佩尔特 1 Atsushi Ohori 1 约翰·奥斐尔 1 佩顿·琼斯，西蒙·L。 1 弗兰克·芬宁 1 急板地 1 拉蒙·拉科夫 1 彼得·蒂曼。 1 几周了，斯蒂芬 1 卢卡斯·齐亚雷克 5篇连载文章中引用 2 理论计算机科学 2 信息与计算 1 纯逻辑与应用逻辑年鉴 1 函数编程杂志 1 高阶和符号计算 在2个字段中引用 11 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文