摘要
阿布90。 萨姆森·阿布拉姆斯基。 懒惰的lambda演算。 大卫·A·特纳(David A.Turner),编辑,《函数编程研究主题》,第65-116页。 Addison-Wesley,1990年。 谷歌学者 数字图书馆 附录92。 安德鲁·W·阿佩尔。 用连续体编译。 剑桥大学出版社,剑桥,1992年。 谷歌学者 数字图书馆 CG95。 R.L.Crole和A.D.Gordon。 输入/输出效果的合理元语义。 Leszek Pacholski和Jerzy Tiuryn主编,《计算机科学逻辑:第八次研讨会》,CSL'9#,计算机科学讲义第933卷,第339-353页,柏林、海德堡和纽约,1995年。 斯普林格·弗拉格。 谷歌学者 数字图书馆 CH94(瑞士法郎)。 威廉·克林格(William D.Clinger)和拉尔斯·托马斯·汉森(Lars Thomas Hansen)。 Lambda,终极标签,或简单的方案优化编译器。 程序中。 199#Lisp和函数编程CM研讨会,第128-139页,1994年。 谷歌学者 数字图书馆 费尔87。 Matthias Felleisen。 Lambdav-cs转换的演算:强制性高阶程序设计语言中控制和状态的句法理论。 印第安纳大学博士论文,1987年。 谷歌学者 数字图书馆 戈尔94。 安德鲁·戈登(Andrew D.Gordon)。 功能编程和输入/输出。 剑桥大学出版社,剑桥,1994年。 谷歌学者 数字图书馆 戈尔95。 安德鲁·戈登(Andrew D.Gordon)。 作为函数编程理论的相似性。 1995年第11届程序设计语义学数学基础会议论文集。 谷歌学者 交叉引用 GSR95。 J.D.Guttman、V.Swarup和J.Ramsdell。 VLISP验证方案系统。 Lisp和符号计算,8(1/2):33-1101995。 谷歌学者 数字图书馆 枪92。 卡尔·A·冈特。 程序设计语言的语义:结构和技术。 麻省理工学院出版社,马萨诸塞州剑桥,1992年。 谷歌学者 数字图书馆 KH89。 理查德·凯尔西和保罗·哈达克。 通过程序转换进行实际编译。 《Conf.Rec.16th A CM编程语言原理研讨会》,第281-292页,1989年。 谷歌学者 数字图书馆 KKsR+86。 David A.Kranz、Richard Kelsey、Jonathan A.Rees、Paul Hudak、James Philbin和Norman I.Adams。 Orbit:方案的优化编译器。 1986年SIGPLAN’86编译器构造研讨会论文集。 SIGPLAN通知P1(7),1986年7月,219-223。 谷歌学者 数字图书馆 米尔77。 罗宾·米尔纳。 类型lambda-calculi的完全抽象模型。 理论计算机科学,4:1-221977。 谷歌学者 交叉引用 莫尔68。 James H.Morris,Jr.Lambda编程语言微积分模型。 博士论文,麻省理工学院,马萨诸塞州剑桥,1968年。 谷歌学者 MS88。 阿尔伯特·梅耶(Albert R.Meyer)和库尔特·西伯(Kurt Sieber)。 面向局部变量的完全抽象语义:初步报告。 Conf.Rec.第15届CM原则/编程语言研讨会,第191-203页,1988年。 谷歌学者 数字图书馆 MT91。 伊恩·梅森(Ian A.Mason)和卡罗琳·塔尔科特(Carolyn L.Talcott)。 功能语言中的等效性和效果。 《函数编程杂志》,1:287-3271991年。 谷歌学者 交叉引用 第94章。 马丁·奥德斯基。 地名的功能理论。 1994年POPL'94:第21届CM SIGPLAN-SIGA CT编程语言原理研讨会会议记录,第48-59页。 谷歌学者 数字图书馆 Ole85。 F.J.奥利斯。 类型类别、函子类别和块结构。 在M.Nivat和3。 C.Reynolds,《代数语义》编辑,第543-574页。 剑桥大学出版社,1985年。 谷歌学者 数字图书馆 或95。 迪诺·P·奥利瓦(Dino P.Oliva)、约翰·D·拉姆斯代尔(John D.Ramsdell)和米切尔·旺德(Mitchell Wand)。 VLISP验证的预主题编译器。 Lisp和符号计算,8(1/2):111-1821995。 谷歌学者 数字图书馆 OT95。 P.W.O'Hearn和R.D.Tennent。 参数和局部变量。 美国医学杂志,42(3):658-7091995年5月。 谷歌学者 数字图书馆 第81段。 大卫·帕克。无限序列上的并发和自动机。 彼得·德森(Peter Deussen),《理论计算机科学:第五届全球信息大会》(Theory Computer Science:5th GI-Conference)编辑,卡尔斯鲁厄(Karlsruhe),计算机科学讲稿第104卷,167-183页,柏林、海德堡和纽约,1981年3月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 Plo75页。 戈登·普洛金(Gordon D.Plotkin)。 Call-by-name、Call-byvalue和)#-演算。 理论计算机科学,1:125-1592975。 谷歌学者 交叉引用 图77。 戈登·普洛金(Gordon D.Plotkin)。 LCF被认为是一种编程语言。 理论计算机科学,5:223-2551977。 谷歌学者 交叉引用 PS93。 Andrew M.Pitts和Ian D.B.Stark。创建局部名称的高阶函数的可观测属性,或:有什么新功能? 计算机科学数学基础,Proc。 第18届国际糖浆大会,格但斯克,1993年,《计算机科学讲义》第711卷,第122-141页,柏林、海德堡和纽约,1993年。 春天; er Verlag。 谷歌学者 数字图书馆 闸板96。 约翰·拉姆斯代尔(John D.Ramsdell)。 个人通信,1996年7月。 谷歌学者 RC+86。 Jonathan A.Rees、William C.Clinger等,关于算法语言方案的修订报告。 SIGPLAN通知,21(12):37-792986年12月。 谷歌学者 数字图书馆 第94页。 伊恩·斯塔克(Ian Stark)。名称和高阶函数。 剑桥大学博士论文,1994年12月。 也作为技术报告363出版,剑桥大学计算机实验室。 谷歌学者 TW96型。 杰瑞·蒂林和米切尔·旺德。 具有输入输出的未类型化lambda演算。 In H.Kirchner,编辑,《代数与编程中的树:CAAP’96》,Proc。 第21届国际学术讨论会,计算机科学讲稿第1059卷,第317-329页,柏林、海德堡和纽约,1996年4月。 斯普林格·弗拉格。 谷歌学者 数字图书馆 WO92。 米切尔·旺德和迪诺·P·奥利瓦。 证明存储表示的正确性。 程序中。 1992年Lisp和函数编程CM研讨会,第151-160页,1992年。 谷歌学者 数字图书馆