格雷格·莫里塞特;罗伯特·哈珀 多态语言的内存管理语义。 （英语） Zbl 0973.68137号 Andrew D.Gordon（编辑）等人，《语义学中的高阶操作技术》。HOOTS研讨会论文，英国剑桥，1995年10月。剑桥：剑桥大学出版社。出版物。牛顿研究所12，175-226（1998）。MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit｛G.Morrisett｝和\textit｛R.Harper｝，Publ。牛顿研究所12，175--226（1998；Zbl 0973.68137）
格雷格·莫里塞特;罗伯特·哈珀 递归定义函数的类型闭包转换。（扩展摘要）。 （英语） Zbl 0925.68298号 Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，电子文件第20号（1997）。MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Morrisett}和\textit{R.Harper}，收录于：HOOTS II。语义学高级操作技术第二次研讨会。斯坦福大学，美国加利福尼亚州帕洛阿尔托，1997年12月8日至12日。阿姆斯特丹：爱思唯尔。第20号电子文件（1997；Zbl 0925.68298） 全文： 链接