主机名：page-component-848d4c4894-5nwft总加载时间：0渲染日期：2024-05-27T01:15:49.775Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

F扩展的操作解释ω带控制操作员

部分： JFP研究文章

剑桥大学出版社在线出版：2008年11月7日

罗伯·哈波 和
马克·利利布里奇
罗伯·哈波
附属：
美国宾夕法尼亚州匹兹堡市卡内基梅隆大学计算机科学学院，邮编15213
马克·利利布里奇
附属：
美国宾夕法尼亚州匹兹堡市卡内基梅隆大学计算机科学学院，邮编15213
权限和权限 [在新窗口中打开]

摘要

核心共享和HTML视图不适用于此内容。但是，由于您有权访问此内容，可以通过“保存PDF”操作按钮获得完整的PDF。

我们研究了Girard系统F的扩展的操作语义ω有两个控制操作符：一个中止放弃当前控件上下文的操作，以及呼叫cc捕获当前控件上下文的操作。我们考虑了两类操作语义，每类都有一个call-by-value和一个callby-name变量，它们对多态抽象和实例化的处理不同。在标准语义、多态抽象是值，多态实例化是重要的计算步骤；在类似ML语义评估在多态抽象下进行，多态实例化在计算上不重要。针对标准语义，给出了组合的、类型保护的连续传递样式（cps）转换算法，从而得出所有四种评估策略一致的术语。这必然会导致标准评估策略下的优秀项目的健全性和终止性。相比之下，这种结果仅适用于构造函数抽象仅限于值的受限子语言的类调用值ML策略。当注意力仅限于完整的程序时，类ML调用名语义与标准调用名语义无法区分。

类型
文章
问询处
函数编程杂志 ,第6卷 ,第3版 1996年5月 第393-418页
版权所有
版权所有©剑桥大学出版社1996

工具书类

Appel（上诉）,A.W.公司。(1992)用连续体编译.剑桥大学出版社.谷歌学者
Breazu Tannen公司,五、。,科康,第。,冈特,C.答。和斯克洛夫,答：。(1991)作为隐式强制的继承.信息与计算 93:172–221.交叉参考谷歌学者
布尔斯托尔,R。,麦奎因,D。和圣内拉,D。(1980)HOPE：一种实验性应用语言.程序。1980年LISP会议，第页。136–143,加利福尼亚州斯坦福.交叉参考谷歌学者
卡尔代利,L。(1989)类型化编程。技术报告45，DEC系统研究中心。谷歌学者
卡尔代利,L。,马提尼,美国。,米切尔,J.C.公司。和斯克洛夫,答：。(1991)带有子类型的系统F的扩展。研究报告80，加利福尼亚州帕洛阿尔托数字系统研究中心。交叉参考谷歌学者
熟料,西。和里斯,J。(1991)修订过的4算法语言方案报告.LISP指针,5(三):1–55.谷歌学者
库珀,欧洲委员会。和莫里塞特,J·G·。(1990)为卡内基梅隆大学计算机科学学院标准ML技术报告CMU-CS-90-186添加线程。谷歌学者
居里安,P.-L.公司。和盖利,G.公司。(1990)包容的一致性。技术报告LIENS–90–10，巴黎高等师范学院信息实验室。交叉参考谷歌学者
杜巴,B。,哈珀,R。和麦奎因,D。(1991)在ML中键入一级延续.第18届ACM程序设计语言原理研讨会.交叉参考谷歌学者
费雷森,M。和希布,R。(1992)关于顺序控制和状态句法理论的修订报告.理论计算机科学 10(2):235–271.交叉参考谷歌学者
费希尔,医学博士。(1993)Lambda-calculus模式.LISP与符号计算 6(3/4):259–288.交叉参考谷歌学者
项目喷气发动机,福梅尔.(1987)CAML：参考手册。技术报告，INRIA–ENS。谷歌学者
吉拉德,J.-Y.公司。(1972)Interprétation Foctionnelle andÉlimination des Couples dans I’Arithmétique d‘Ordre Supérieure基金会和联合会。博士论文，巴黎第七大学.谷歌学者
围带,J.-Y.公司。,拉丰特,Y。和泰勒,第页。(1989)证据和类型：剑桥理论计算机科学丛书卷。7.剑桥大学出版社.谷歌学者
戈登,M。,米尔纳,R。和华兹华斯,C、。(1979)爱丁堡LCF：计算的机械化逻辑：计算机科学课堂讲稿78.Springer-Verlag公司.谷歌学者
格里芬,T。(1990)控制的公式化概念.第17届美国计算机学会编程语言原理研讨会，加利福尼亚州旧金山.交叉参考谷歌学者
哈珀,R。,杜巴,B。和麦奎因,D。(1993)在ML中键入一级延续.J.函数编程,三(4):465–484，10月。（另请参见（Duba等。, 1992).).交叉参考谷歌学者
哈珀,R。和利利布里奇,M。(1993)显式多态性和CPS转换.第20届美国计算机学会程序设计语言原理研讨会，第页。206–219,南卡罗来纳州查尔斯顿.交叉参考谷歌学者
哈珀,R。和利利布里奇,M。(1992)多态类型赋值和CPS转换。在：丹佛,O。和塔尔科特,C、。，编辑，程序。ACM SIGPLAN延续CW92研讨会，第页。13–22,加利福尼亚州斯坦福（作为技术报告STAN–CS–92–1426发布。）谷歌学者
哈珀,R。和利利布里奇,M。(1993)多态类型赋值和CPS转换.LISP与符号计算,6(4):361–380，11月。（另见（Harper和Lillibridge，1992）。）。交叉参考谷歌学者
哈珀,R。和米切尔,J.C.公司。(1993)关于标准ML的类型结构.ACM Trans，编程语言和系统,15(2):211–252年月日。交叉参考谷歌学者
哈珀,R。和莫里塞特,G.公司。(1994)使用非参数多态性编译技术报告CMU–CS–94–122，计算机科学学院，卡内基梅隆大学,宾夕法尼亚州匹兹堡。（也发布为福克斯备忘录CMU–CS–Fox–94–03。）交叉参考谷歌学者
海恩斯,C.T.公司。,弗里德曼,D.P.公司。和魔杖,M。(1986)从continuation获取协同程序.J.计算机语言,11:143–153.交叉参考谷歌学者
哈达克,第页。和瓦德勒,第页。(1990)编程语言Haskell 1.0版报告.研究报告YALEU/DCS/RR–777，耶鲁大学.谷歌学者
克兰兹,D。,凯尔西,R。,里斯,J。,哈达克,第页。,菲尔宾,J。和亚当斯,N。(1986)Orbit:Scheme的优化编译器.程序。SIGPLAN编译器构建研讨会，第页。219–233.谷歌学者
勒罗伊,十、。(1992)未装箱对象和多态类型.第19届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，第页。177–188,新墨西哥州阿尔伯克基.交叉参考谷歌学者
勒罗伊,十、。和莫尼,M。(1992)Caml Light系统，版本0.5文档和用户指南。技术报告L-5，INRIA。谷歌学者
麦奎因,D。(1986)使用依赖类型表示模块结构.第13届ACM程序设计语言原理研讨会.交叉参考谷歌学者
迈耶,A.R.公司。和魔杖,M。(1985)类型化lambda calculi中的延续语义（摘要）。在：帕里克,R。，编辑器，程序逻辑：计算机科学讲义193，第页。219–224.Springer-Verlag公司.交叉参考谷歌学者
米尔纳,R。(1978)编程语言中的类型多态理论.J.计算机与系统科学,17:348–375.交叉参考谷歌学者
米尔纳,R。和托夫特,M。(1991)标准ML评述.麻省理工学院出版社.谷歌学者
米尔纳,R。,托夫特,M。和哈珀,R。(1990)标准ML的定义.麻省理工学院出版社.谷歌学者
米切尔,J。和哈珀,R。(1988)ML的本质.第十五届美国计算机学会编程语言原理研讨会，加利福尼亚州圣地亚哥.交叉参考谷歌学者
皮尔斯,公元前。(1993)交集类型和有界多态性。输入：贝泽姆,M。和赫罗特,J。F。，编辑，程序。93年国际键入Lambda演算和应用会议，第页。346–360,荷兰乌得勒支。（Springer-VerlagLNCS 664号机组）（发表于《计算机科学中的数学结构》，1995年。）谷歌学者
普洛金,G.公司。(1975)按名称调用、按值调用和lambda演算.理论计算机科学 1:125–159.交叉参考谷歌学者
Reppy公司,J.H。(1991)CML：一种高阶并发语言.ACM SIGPLAN编程语言设计与实现会议，第页。293–305.谷歌学者
雷诺,J.C.公司。(1972)高阶程序设计语言的定义解释器.第25届全国ACM大会会议记录，第页。717–740,马萨诸塞州波士顿.交叉参考谷歌学者
雷诺,J.C.公司。(1974)走向类型结构理论。程序设计学院：计算机科学课堂讲稿19，第页。408–423.Springer-Verlag公司.谷歌学者
雷诺,J.C.公司。(1988)程序设计语言Forsythe的初步设计CMU–CS–88–159技术报告，计算机科学学院，卡内基梅隆大学,宾夕法尼亚州匹兹堡，6月。谷歌学者
雷诺,J.C.公司。(1993)延续的发现.LISP与符号计算 6(3/4):233–248，11月。交叉参考谷歌学者
斯蒂尔,G.L.公司。 年少者., (1978)RABBIT:SCHEME编译器.技术报告备忘录474，麻省理工学院人工智能实验室.谷歌学者
托夫特,M。(1990)多态引用的类型推断.信息与计算 89:1–34，11月。交叉参考谷歌学者
提交响应

讨论

尚未发布此文章的讨论。