1 阿迪蒂亚、克莉丝汀·弗洛德和詹姆斯·希克斯。 使用运行时类型重建对强类型语言进行垃圾收集。 在LFP’94｛30｝中，第12-23页。 谷歌学者 
数字图书馆 
2 阿尔弗雷德·阿霍（Alfred V.Aho）、拉维·塞蒂（Ravi Sethi）和杰弗里·乌尔曼（Jeffrey D.Ullman）。 编译器：原理、技术和工具。 艾迪森·韦斯利出版公司，1986年。 谷歌学者 数字图书馆 三。 安德鲁·阿佩尔（Andrew Appel）。 《标准ML批判》，《函数编程杂志》，3（4）：391-4291993年10月。 谷歌学者 交叉引用 
4. 安德鲁·W·阿佩尔。 运行时标记不是必需的。 Lisp与符号计算，（2）：153-1621989。 谷歌学者 5 安德鲁·W·阿佩尔。 用连续体编译。 剑桥大学出版社，1992年。 谷歌学者 数字图书馆 6 Andrew W.Appel、James S.Mattson和David Tarditi。 标准ML的词法分析器生成器。新泽西州标准ML发行，1989年。 谷歌学者 7 Edoardo Biagioni、Robert Harper、Peter Lee和Brian Milnes。 网络协议栈的签名：标准ML的系统应用。在LFP'94{30}中，第55-64页。 谷歌学者 数字图书馆 8 拉尔斯·伯克达尔（Lars Birkedal）、尼克·罗思韦尔（Nick Rothwell）、麦德斯·托夫特（Mads Tofte）和大卫·N·特纳（David N.Turner）。 ML工具包，版本1。 技术报告93/14，DIKU，1993年。 谷歌学者 9. 盖伊·布莱洛赫。 NESL：一种嵌套的数据并行语言（版本2.6）。 技术报告CMU-CS-93-129，卡内基梅隆大学计算机科学学院，1993年4月。 谷歌学者 数字图书馆 10 汉斯·尤根·博姆（Hans-Juergen Boehm）。 节省空间的保守垃圾收集。 PLDI’93{36}，第197-206页。 谷歌学者 数字图书馆 11 P.Branquart和J.Lewi。 Algol-68的存储分配和垃圾收集方案。 在Algol-68实现中。 荷兰出版公司，阿姆斯特丹，1970年。 谷歌学者 12 黛安·埃伦·布里顿。 用于编程语言Pascal的堆存储管理。 亚利桑那大学硕士论文，1975年。 谷歌学者 13 弗雷德·C·周。 最小化过程调用时的寄存器使用惩罚。 1988年6月，在美国乔治亚州亚特兰大市举行的1988年CM SIGPLAN编程语言设计与实现会议论文集，第85-94页。 ACM公司。 谷歌学者 数字图书馆 14 A.Demers、M.Weiser、B.Hayes、H.Boehm、D.Bobrow和S.Shenker。 结合分代和保守的垃圾收集：框架和实现。 1990年1月于加利福尼亚州旧金山举行的第17届CM-SIGPLAN-SIGACT编程语言原理研讨会会议记录。 ACM公司。 谷歌学者 数字图书馆 15 Amer Diwan、Eliot Moss和Richard Hudson。 编译器支持静态类型语言中的垃圾收集。 1992年6月，加利福尼亚州旧金山，第273-282页，CM$IGPLAN’92编程语言设计和实现会议记录。 ACM。 谷歌学者 数字图书馆 16 艾默·迪万（Amer Diwan）、大卫·塔迪蒂（David Tarditi）和艾略特·莫斯（Eliot Moss）。 内存-具有密集堆分配的程序的系统性能。 《计算机系统学报》，1995年8月。 谷歌学者 数字图书馆 17. K.Ekanadham和Arvind。 简单：未来科学规划的练习。 技术报告计算结构小组备忘录273，麻省理工学院，Cb。 马萨诸塞州mbridge，1987年7月。 同时发布为IBM/T.J.Watson研究中心研究报告12686，纽约约克敦高地。 谷歌学者 18 科马克·弗拉纳根（Cormac Flanagan）、阿姆·萨布里（Amr Sabry）、布鲁斯·杜布斯（Bruce F.Dubs）和马蒂亚斯·费尔莱森（Matthias Felleisen）。 用续语句编译的本质。 在PLDI’93{36}中，第237-247页。 谷歌学者 数字图书馆 19. Benjamin Goldberg。强类型编程语言中的无标记垃圾收集。 1991年6月，加拿大多伦多，第165-176页，CM$IGPLAN第9I届编程语言设计和实现会议记录。 ACM公司。 谷歌学者 数字图书馆 20 本杰明·戈德伯格和迈克尔·格洛格。 无标记垃圾收集的多态类型重建。 《1992年Lisp和函数编程CM会议记录》，第53-435页，加利福尼亚州旧金山，1992年6月。 ACM公司。 谷歌学者 数字图书馆 21 科迪莉亚·霍尔（Cordelia Hall）、西蒙·佩顿·琼斯（Simon L.Peyton Jones）和帕特里克·桑索尔（Patrick M.Sansore）。 使用专业化解除装箱。 D.Turner K.Hammond，P.M.Sandom，《函数编程》编辑，199J。 Springer-Verlag，1995年。 谷歌学者 22 罗伯特·哈珀和马克·利利布里奇。 具有共享的高阶模块的类型理论方法。在POPL'94{37}中，第123-137页。 谷歌学者 数字图书馆 23 罗伯特·哈珀和格雷格·莫里塞特。 使用内涵型分析的Comc）illing多态性。 1995年1月，加利福尼亚州旧金山，第130-141页，第二届CM-SIGPLAN-SIGACT编程语言原理年会会议记录。 ACM公司。 谷歌学者 数字图书馆 24 Fritz Henglein和Jesper JCrgensen。 正式的最佳拳击比赛。 在持久性有机污染物清单’94｛37｝中，第213-226页。 谷歌学者 数字图书馆 25 M.P.琼斯。 无字典重载的部分评估。 研究报告YALEU/DCS/RR-959，美国康涅狄格州纽黑文耶鲁大学，1993年4月。 谷歌学者 26 西蒙·佩顿·琼斯（Simon Peyton jones）和约翰·朗奇伯里（John Launchbury）。 作为一等公民的自由价值观。 《函数编程与计算机体系结构会议记录》，计算机科学讲义第523卷，第636-666页。 ACM，施普林格出版社，1991年。 谷歌学者 数字图书馆 27 大卫·克兰兹、理查德·凯尔西、乔纳森·里斯、保罗·哈达克、詹姆斯·菲特宾和诺曼·亚当斯。 ORBIT：方案的优化编译器。 《SIGPLAN’86编译器构建研讨会论文集》，第219-233页，加利福尼亚州帕洛阿尔托，1986年6月。 ACM公司。 谷歌学者 数字图书馆 28 泽维尔·勒罗伊。 未装箱对象和多态类型。 第19届CM-SIGPLAN-$IGA-CT研讨会会议记录或《编程语言原理》，第177-188页，新墨西哥州阿尔伯克基，1992年1月。 ACM公司。 谷歌学者 数字图书馆 29 泽维尔·勒罗伊。 清单类型、模块和单独编译。 在POPL'94{37}中，第109-122页。 谷歌学者 数字图书馆 30. 1994年6月，佛罗里达州奥兰多，199J ACM Lisp和函数编程会议记录。 ACM公司。 谷歌学者 31 罗宾·米尔纳（Robin Milner）、麦德斯·托特（Mads Torte）和罗伯特·哈珀（Robert Harper）。 《标准ML的定义》，麻省理工学院出版社，1990年。 谷歌学者 数字图书馆 32 Y.Minamide、G.Morrisett和R.Harper。 类型化闭包转换。 1996年1月于佛罗里达州圣彼得堡举行的第23届CM-SIGPLAN-SIGA CT编程语言原理研讨会会议记录。 ACM公司。 谷歌学者 数字图书馆 33 格雷格·莫里塞特。 使用类型编译。 1995年12月，宾夕法尼亚州匹兹堡卡内基梅隆大学计算机科学学院博士论文。 发布为技术报告CMU-CS-95-226。 谷歌学者 34 格雷格·莫里塞特（Greg Morrisett）、马蒂亚斯·费尔莱森（Matthias Felleisen）和罗伯特·哈珀（Robert Harper）。 内存管理的抽象模型。 在功能编程和计算机体系结构CM会议上，第66-77页，拉荷亚，1995年6月。 谷歌学者 数字图书馆 35 R.Morrison、A.Dearle、R.C.H、Connor和A、L、Brown。 一种特殊的方法~o~实现多态。 编程语言和系统的CM汇刊，13（3）：342-3711991年7月。 谷歌学者 数字图书馆 36 CM-SiGPLAN’93编程语言设计和实现会议记录，新墨西哥州阿尔伯克基，1993年6月。 ACM公司。 谷歌学者 37 1994年1月在俄勒冈州波特兰举行的第21届CM-SIGPLAN-SIGACT年度研讨会或《编程语言原理》的ConJerence记录。 ACM公司。 谷歌学者 38 艾吉尔·罗萨格·鲍尔森。 有效实现多态性的表示分析。 哥本哈根大学计算机科学系（DIKU）技术报告，1993年4月。 硕士学位论文。 谷歌学者 39. 克里斯·里德。 函数式编程的要素。 艾迪森·韦斯利，马萨诸塞州雷丁市，1989年。 谷歌学者 数字图书馆 40 手动Serrano和Pierre Weis。 1+1=1：一个优化的CAML编译器。 《2264号技术报告》，INRIA，1994年6月。 谷歌学者 41 钟绍。 编译标准ML以在现代机器上高效执行。 1994年11月，新泽西州普林斯顿市普林斯顿大学博士论文。 谷歌学者 数字图书馆 42 钟绍和安德鲁·W·阿佩尔。 标准ML的基于类型的编译器。《CM-SIGPLAN’95编程语言设计和实现会议论文集》，第116-129页，加利福尼亚州拉荷亚，1994年6月。 ACM公司。 谷歌学者 数字图书馆 43 彼得·斯汀基斯特（Peter Steenkiste）。 高级寄存器分配。 编者Peter Lee，《高级语言实现主题》。 麻省理工学院出版社，1990年。 谷歌学者 44 本贾尼·斯特劳斯特卢普。 C-k4编程语言第2版。 Addison-Wesley，1991年。 谷歌学者 数字图书馆 45 大卫·R·塔迪蒂。 卡内基梅隆大学计算机科学学院优化硕士博士论文，1996年。 即将到来。 谷歌学者 46 安德鲁·托尔马赫。 使用显式类型参数的无标记垃圾收集。 在LFP’94{30}中，第1-11页。 谷歌学者 数字图书馆 47 Kevin G.Waugh、Patrick McAndrew和Greg Michaelson。 功能原型的并行实现：案例研究。 《计算机科学90/4技术报告》，爱丁堡赫里奥特-瓦特大学，1990年8月。 谷歌学者 48 P.L.沃登。 Algol-68的垃圾收集方法。 在Algol-68实现中。 荷兰出版公司，阿姆斯特丹，1970年。 谷歌学者
建议
使用SugarHaskell实现对布局敏感的语言扩展 哈斯克尔12：2012年哈斯克尔研讨会会议记录 程序员需要方便的语法来编写优雅简洁的程序。 因此，Haskell标准为某些场景提供了语法糖（例如，为一元代码做标记），Haskel编译器的作者为更多。。。 使用SugarHaskell实现对布局敏感的语言扩展 哈斯克尔'12 程序员需要方便的语法来编写优雅简洁的程序。 因此，Haskell标准为某些场景提供了语法糖（例如，为一元代码做符号），Haskell编译器的作者为更多场景提供了语法糖。。。
