1 S.Aditya和A.Caro。 多态语言的编译器定向类型重建。 《函数编程语言和计算机体系结构会议记录》，第74-82页，丹麦哥本哈根，1993年6月。 谷歌学者 
数字图书馆 
2 S.Aditya、C.Flood和J.Hicks。 使用运行时类型重建对强类型语言进行垃圾收集。 1994年6月，佛罗里达州奥兰多，第12-23页，《199J ACM Lisp和函数编程会议论文集》。 谷歌学者 数字图书馆 三。 A.W.Appel公司。 运行时标记不是必需的。 Lisp和符号计算杂志，2:153-1621989。 谷歌学者 交叉引用 
4 Z.M.Ariola、M.Falleisen、J.Marai.qt、M.Od~r~ky~和P.Wadler。 需要调用的lambda演算。 1995年1月于加利福尼亚州旧金山举行的第22届编程语言原理年度研讨会会议记录。 谷歌学者 数字图书馆 5 H.贝克。 在函数式语言中统一和征服（垃圾、更新、别名…）。 在1990年ACM Lisp和函数编程会议记录中，第218-226页，法国尼斯，1990年6月。 谷歌学者 数字图书馆 6 E.Barendsen和S.Smetsers。 图形重写系统中的常规类型和唯一类型。 《1993年软件技术和理论计算机科学基础第13届会议论文集》，纽约州孟买，1993年。 斯普林格·维拉格。 扩展摘要。 谷歌学者 数字图书馆 7 P.Branquart和J.Lewi。 Algol-68的存储分配和垃圾收集方案。 在A19ol-68实施中。 荷兰出版公司，阿姆斯特丹，1970年。 谷歌学者 8 D.E.布里顿。 用于编程语言Pascal的堆存储管理。 亚利桑那大学硕士论文，1975年。 谷歌学者 9 J.Chirimar、C.A.Gunter和J.G.Riecke。 证明基于线性逻辑的语言的内存管理不变量。 1992年Lisp和函数编程CM会议论文集，第139-150页，加利福尼亚州旧金山，1992年6月。 谷歌学者 数字图书馆 10 A.Demers、M.Weiser、B.Hayes、H.Boehm、D.Bobrow和S.Shenker。 结合世代垃圾收集和保守垃圾收集：框架和实现。 1990年1月，加利福尼亚州旧金山，第261-269页，第17届程序设计语言原理年度研讨会会议记录。 谷歌学者 数字图书馆 11 M.Felleisen和R.Hieb。 关于顺序控制和状态句法理论的修订报告。 技术报告89-100，莱斯大学，1989年6月。 也出现在：理论计算机科学，1021992。 谷歌学者 数字图书馆 12 P.弗雷德特。 收集更多垃圾。 1994年6月，佛罗里达州奥兰多市，第24-33页，发表于199J A CM Lisp和函数编程会议的专业课程。 谷歌学者 13 B.Goldberg。强类型编程语言的无标记垃圾收集。 1991年6月，加拿大安大略省多伦多，第165-176页，CM-SIGPLAN'91编程语言设计和实现会议记录。 谷歌学者 数字图书馆 14 B.Goldberg和M.Gloger。 无标记垃圾收集的多态类型重建。 1992年Lisp和函数编程的CM会议论文集，第53-65页，加利福尼亚州旧金山，1992年6月。 谷歌学者 数字图书馆 15 R.Harper和G.Morrisett。 使用内涵类型分析编译多态性。 1995年1月于加利福尼亚州旧金山举行的第22届编程语言原理年度研讨会会议记录。 谷歌学者 数字图书馆 16 P.哈达克。 引用计数的语义模型及其抽象。 1986年Lisp和函数编程的CM会议论文集，第351-363页，马萨诸塞州剑桥，1986年。 谷歌学者 数字图书馆 17 J.朗奇伯里。 懒惰评估的自然语义。 1993年1月，在南卡罗来纳州查尔斯顿市举行的第20届程序设计语言原理年度研讨会的会议记录中。 谷歌学者 数字图书馆 18 I.梅森和C.塔尔科特。 推理具有效果的程序。 《程序设计语言实现和逻辑程序设计程序集》，LNCS 582。 Springer-Verlag，1990年。 谷歌学者 数字图书馆 19 I.梅森和C.塔尔科特。 功能语言中的等效词和效果。 函数编程杂志，2（1），1991年。 谷歌学者 20 G.Morrisett、M.Felleisen和R.Harper。 内存管理的抽象模型。 技术报告CMU-CS-95-110，卡内基梅隆大学计算机科学学院，1995年1月。 可作为 ftp://报告 ，管理员cs。 cmu公司。 edu/usr/anon/1995/CMU-CS-95-ll0.ps。 谷歌学者 数字图书馆 21 R.Morrison、A.Dearie、R.C.H.Connor和A.L.Brown。 实现多态性的特殊方法。 CM变速器。 掠夺。 语言系统。， 13（3）：342-3711991年7月。 谷歌学者 数字图书馆 22 S.Nettles。 复制垃圾收集的Larch规范。 技术报告CMU-CS-92-219，卡内基梅隆大学计算机科学学院，1992年12月。 谷歌学者 数字图书馆 23 Purushothaman和J.Seaman。 惰性计算中共享的适当操作语义。 第十届欧洲程序设计研讨会论文集，LNCS 582。 Springer-Verlag，1992年。 谷歌学者 数字图书馆 24 J.雷诺兹。 类型、抽象和参数多态性。 1983年，《信息处理学报》第83期，第513-523页。 谷歌学者 25 J.M.希曼。 懒惰评估分析的操作语义。 宾夕法尼亚州立大学博士论文，1993年。 谷歌学者 数字图书馆 26 P.Steenkister和J.Hennessey。 LISP中的标签和类型检查：硬件和软件方法。 《第二届架构支持/或编程语言和操作系统国际会议论文集》（ASPLOS-II），第50-59页，加利福尼亚州帕洛阿尔托，1987年10月。 谷歌学者 交叉引用 27 A.托尔马赫。 使用显式类型参数的无标记垃圾收集。 在1994年6月佛罗里达州奥兰多市举行的关于Lisp和函数编程的1990年CM会议论文集，第1-11页。 谷歌学者 数字图书馆 28 D.安加。 代清理：一种无中断的高性能存储管理回收算法。 1984年4月，在宾夕法尼亚州匹兹堡举行的CM$IGPLAN软件工程实用软件开发环境研讨会上，第15-167页。 谷歌学者 29 P.沃登。 Algol-68的垃圾收集方法。 在Algol-68实现中。 荷兰出版公司，阿姆斯特丹，1970年。 谷歌学者 30 A.Wright和M.Felleisen。 一种类型正确性的句法方法。 技术报告TR91-160，莱斯大学计算机科学系，1991年4月。 谷歌学者
建议
使用固有存储器管理启用混合PCM存储器系统 RACS’16：自适应和收敛系统研究国际会议记录 用非易失性相变存储器（PCM）取代传统的易失性主存储器（如DRAM）已成为降低计算系统能耗的一种可能的解决方案。 为了进一步降低PCM的比特成本，其发展趋势。。。 内存键值存储的热点软件混合内存管理 新兴的非易失性存储器（NVM）技术承诺比DRAM具有更高的内存密度和能效，但以更高的读/写延迟和有限的写持久性为代价。 由DRAM和NVM组成的混合存储系统具有潜力。。。 一种新的基于WOM码的PCM内存块管理方案 HPCC-CSS-ICESS’15：2015年IEEE第17届高性能计算和通信国际会议论文集，2015年IEEE-第7届网络空间安全与保障国际研讨会，2015年第12届嵌入式软件和系统国际会议 相变存储器（PCM）具有低静态功耗、高密度等优点，是嵌入式系统中一种很有前途的DRAM替代品。 然而，长写入延迟是当前PCM的主要缺点之一。。。
