摘要
补充材料
}}Urban Boquist和Thomas Johnsson。 GRIN项目：惰性函数语言的高度优化后端。 在96年IFL程序中，LNCS第1268卷，第58-84页。 Springer-Verlag，1996年。 谷歌学者 
数字图书馆 
}}奥拉夫·奇蒂尔。 公共子表达式在惰性函数语言中很少见。 LNCS，1467:53--711998年。 谷歌学者 数字图书馆 }}邓肯·库茨（Duncan Coutts）、罗曼·莱斯钦斯基（Roman Leshchinskiy）和唐·斯图尔特（Don Stewart）。 流融合：从列表到流，再到什么都没有。 在2007年ICFP程序中，第315--326页。 ACM出版社，2007年10月。 谷歌学者 数字图书馆 }}科马克·弗拉纳根（Cormac Flanagan）、阿姆尔·萨布里（Amr Sabry）、布鲁斯·杜巴（Bruce Duba）和马蒂亚斯·费尔莱森（Matthias Felleisen）。 用续语句编译的本质。 在《1993年PDLI程序》第28卷（6），第237--247页。 ACM出版社，纽约，1993年。 谷歌学者 数字图书馆 }}福村义彦。 计算过程的部分计算-编译器的一种方法。 高阶和符号计算，12（4）：381-3911999。 谷歌学者 数字图书馆 }}Andrew Gill、John Launchbury和Simon Peyton Jones。 砍伐森林的捷径。 在93年FPCA程序中，第223-232页。 ACM出版社，1993年6月。 谷歌学者 数字图书馆 }}迪米特里·戈卢波夫斯基、尼尔·米切尔和马修·奈勒。 Yhc公司。 核心-从Haskell到核心。 莫纳德。 读者，1（7）45--612007年4月。 谷歌学者 }}托马斯·约翰逊。 Lambda提升：将程序转换为递归方程。 程序中。 85年FPCA，第190-203页。 斯普林格·弗拉格。 1985 谷歌学者 数字图书馆 }}Neil Jones、Carsten Gomard和Peter Sestoft。 部分评估和自动程序生成。 普伦蒂斯·霍尔国际公司。 1993 谷歌学者 数字图书馆 }}彼得·琼森和约翰·诺兰德。 高阶按值调用语言的正超编译。 在POPL'09中，第277--288页。 ACM，2009年。 谷歌学者 数字图书馆 }}伊利亚·克鲁奇尼科夫。 超级编译器HOSC 1.0：发动机罩下。 莫斯科凯尔迪什应用数学研究所预印本63。 2009 谷歌学者 }}伊利亚·克鲁奇尼科夫。 超级计算机HOSC 1.1：终止证明。 莫斯科凯尔迪什应用数学研究所预印本21。 2010 谷歌学者 }}J Kort.科特。 光线跟踪器的砍伐。 阿姆斯特丹大学硕士论文，1996年。 谷歌学者 }}约瑟夫·克鲁斯卡尔（Joseph Kruskal）。 Well拟序、树定理和Vazsonyi猜想。 美国数学学会汇刊，95（2）：210-2551960。 谷歌学者 }}迈克尔·勒舍尔（Michael Leuschel）。 符号方法在线终止的同胚嵌入。 《计算的本质：复杂性、分析、转换》，第379-403页。 Springer-Verlag，2002年。 谷歌学者 数字图书馆 }}西蒙·马洛。 高阶功能项目的森林砍伐。 格拉斯哥大学博士论文，1996年。 谷歌学者 }}西蒙·马洛（Simon Marlow）、阿列克谢·罗德里格斯·雅库舍夫（Alexey Rodriguez Yakushev）和西蒙·佩顿·琼斯（Simon Peyton Jones）。 使用动态指针标记加快懒惰。 程序中。 2007年ICFP，第277--288页。 ACM出版社，2007年10月。 谷歌学者 数字图书馆 }}约翰·米查姆。 jhc:John的Haskell编译器。 http://repetae.net/john/computer/jhc/ , 2008. 谷歌学者 }}尼尔·米切尔。 功能程序的转换和分析。 约克大学博士论文，2008年。 谷歌学者 }}尼尔·米切尔和科林·伦西曼。 核心Haskell的超级编译器。 在IFL 2007精选论文中，LNCS第5083卷，第147-164页。 Springer-Verlag，2008年5月。 谷歌学者 数字图书馆 }}Will Partain等人。Haskell程序的nofib基准套件。 http://darcs.haskell.org/nofib/ , 2008. 谷歌学者 }}西蒙·佩顿·琼斯。 在库存硬件上实现惰性函数语言：无脊椎无标签的G-machine。 JFP，2（2）：127--2021992年。 谷歌学者 交叉引用 
}}西蒙·佩顿·琼斯。 Haskell 98语言与图书馆：修订报告。 剑桥大学出版社，2003年。 谷歌学者 }}西蒙·佩顿·琼斯。 Haskell程序的调用模式专业化。 程序中。 ICFP’07，第327--337页。 ACM出版社，2007年10月。 谷歌学者 数字图书馆 }}西蒙·佩顿·琼斯（Simon Peyton Jones）和约翰·朗奇伯里（John Launchbury）。 非限定功能语言中作为一级公民的无框价值观。 在91年《联邦公共采购法案》第523卷LNCS中，第636-666页。 斯普林格·弗拉格。 1991年8月。 谷歌学者 数字图书馆 }}西蒙·佩顿·琼斯和西蒙·马洛。 格拉斯哥哈斯克尔编译器内联程序的秘密。 JFP，12:393-4342002年7月。 谷歌学者 数字图书馆 }}西蒙·佩顿·琼斯（Simon Peyton Jones）、威尔·帕坦（Will Partain）和安德烈·桑托斯（Andre Santos）。 Let-floating：移动绑定以提供更快的程序。 程序中。 ICFP’96，第1-12页。 ACM出版社，1996年。 谷歌学者 数字图书馆 }}西蒙·佩顿·琼斯（Simon Peyton Jones）、安德鲁·托尔马赫（Andrew Tolmach）和托尼·霍尔（Tony Hoare）。 按规则行事：重写是GHC中的一种实用优化技术。 程序中。 Haskell’01，第203-233页。 ACM出版社，2001年。 谷歌学者 }}Jens Peter Secher和Morten Sorensen。 关于完美的超级编译。 《系统信息学的观点汇编》，LNCS第1755卷，第113-127页。 Springer-Verlag，2000年。 谷歌学者 数字图书馆 }}莫滕·瑟伦森和罗伯特·格莱克。 正超编译中的泛化算法。 《逻辑编程：1995年国际研讨会论文集》，第465-479页。 麻省理工学院出版社，1995年。 谷歌学者 }}GHC团队。 GHC编译器，版本6.12.1。 http://www.haskell.org/ghc/ 2009年12月。 谷歌学者 }}安德鲁·托尔马赫。 GHC核心语言的外部表示。 http://www.haskell.org/ghc/docs/papers/core.ps.gz。 2001年9月。 谷歌学者 }}瓦伦丁·图尔钦（Valentin Turchin）。 超级编译器的概念。 ACM事务处理。 程序。 语言系统。， 8(3):292--325, 1986. 谷歌学者 数字图书馆 }}瓦伦丁·图尔钦（Valentin Turchin）。 超级编译器中的泛化算法。 在部分评估和混合共变异中，第341-353页。 北荷兰，1988年。 谷歌学者 }}瓦伦丁·图尔钦（Valentin Turchin）。 参考5，编程指南和参考手册。 新英格兰出版公司，马萨诸塞州霍利约克，1989年。 谷歌学者 }}菲利普·沃德勒。 森林砍伐：改变计划以消灭树木。 理论计算机科学，73:231--2481990。 谷歌学者 数字图书馆 }}菲利普·沃德勒和斯蒂芬·布洛特。 如何使即席多态性不那么即席。 程序中。 89年流行歌曲，第60-76页。 ACM出版社，1989年。 谷歌学者 数字图书馆
建议
通过评估进行超级编译 Haskell’10：第三届ACM Haskell-哈斯克尔学术讨论会会议记录 本文展示了如何将按需调用的超级编译重铸为显式地基于求值器，与指定为混合求值规则和特定于…的约简的算法的标准表示进行对比。。。
