主机名：page-component-76fb5796d-dfsvx总加载时间：0渲染日期：2024-04-26T03:07:24.740Z有数据问题：falsehasContentIssue为false
  • 英语
  • 法国

多态语言中的动态类型†

部分内容： JFP研究文章

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

M.阿巴迪 ，
L.Cardelli（卡德利） ，
B.穿孔 和
D.雷米
M.阿巴迪
附属：
数字设备公司，系统研究中心，130 Lytton Avenue，Palo Alto，CA 94301，USA
L.卡德利
附属：
数字设备公司，系统研究中心，130 Lytton Avenue，Palo Alto，CA 94301，USA
B.穿孔
附属：
英国爱丁堡EH9 3JZ爱丁堡大学计算机科学系
D.雷米
附属：
INRIA，Domaine de Voluceau，Rocquecourt，B.P.10578153 Le Chesnay Cedex，法国
权限和权限 [在新窗口中打开]

摘要

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

在编程中，有时甚至在高级静态类型系统存在的情况下，也需要一些动态类型。我们研究了动态类型与其他高级类型结构的相互作用，讨论了它们与显式多态性语言的集成（以系统的方式）F类)、隐式多态性（ML风格）、抽象数据类型和子类型。

类型
文章
问询处
函数编程杂志 ，第5卷 ，第1版 1995年1月 第111-130页
版权
版权所有©剑桥大学出版社1995

工具书类

阿巴迪，M。，卡尔代利，L。，皮尔斯，B。和普洛金，G.公司。(1991)静态类型语言中的动态类型.程序设计语言与系统学报，13(2):237–268.交叉参考谷歌学者
阿巴迪，M（M），卡尔代利，L。，皮尔斯，B。和雷米，D。(1992)多态语言中的动态类型。在李，第页。（编辑），关于ML及其应用的ACM Sigplan研讨会，第页。92–103（技术报告CMU-CS-93-105，计算机科学学院，卡内基梅隆大学.)谷歌学者
Birtwistle公司，克·米。，达尔，O.-J.公司。，米尔豪格，B。和Nygaard公司，英国。(1979)Simula开始Studentliteratur（瑞典隆德）、Bratt Institute Fuer Neues Lerned（哥赫，FRG）、，查特韦尔·布拉特有限公司.谷歌学者
卡尔代利，L。、和韦格纳，第页。(1985)关于理解类型、数据抽象和多态性.计算调查 17(4)，十二月。交叉参考谷歌学者
卡尔代利，L。，马提尼，美国。，米切尔，J.C.公司。和斯克洛夫，答：。(1991)带有子类型的系统F的扩展。在伊藤，T。和迈耶，A.R.公司。（编辑）计算机软件的理论方面，计算机科学讲义526，Springer-Verlag公司，第页。750–770.谷歌学者
卡尔代利，L。(1988)琥珀色。在库西诺，G.公司。，居里安，P.L.公司。和罗维内特，B。（编辑），组合器和函数编程语言，计算机科学课堂讲稿242.Springer-Verlag公司，第页。21–47.谷歌学者
卡尔代利，L。(1988)结构子类型和权力类型的概念.程序。第十五届美国计算机学会编程语言原理研讨会，第页。70–79.谷歌学者
盖利，G.公司。(1990)关于集成包含和参数多态性的最小类型系统的证明理论研究。博士论文，比萨大学（技术报告TD-6/90，比萨大学信息学院。）谷歌学者
吉拉德，J.-Y.公司。(1972)行政法庭解释。博士论文，巴黎第七大学.谷歌学者
戈登，M。(1980)将评估添加到ML.个人沟通中。谷歌学者
亨利恩，F、。(1993)动态键入：句法和证明理论.计算机程序设计科学1992年欧洲规划研讨会专刊。谷歌学者
兰普森，B。(1983)雪松语的描述。技术报告CSL-83-15，施乐帕洛阿尔托研究中心。谷歌学者
勒罗伊，十、。和莫尼，M。(1991)ML.in中的动力学休斯，J。（编辑）函数编程语言与计算机体系结构1991，计算机科学讲义523，Springer-Verlag公司，第页。406–426.谷歌学者
利斯科夫，B。，阿特金森，R。，布鲁姆，T。，莫斯，E.公司。，沙弗特，J.C.公司。，谢弗，R。和斯奈德，答：。(1981)CLU参考手册.Springer-Verlag公司.谷歌学者
米尔纳，R。，托夫特，M。和哈珀，相对湿度。(1990)标准ML的定义.麻省理工学院出版社.谷歌学者
米切尔，J。和普洛金，G.公司。(1988)抽象类型具有存在类型.程序设计语言与系统学报，10(三):470–502，7月。谷歌学者
密克罗夫特，答：。(1983)ML.Draft中的动态类型。谷歌学者
纳尔逊，G.公司。（编辑）模块-3中的系统编程.普伦蒂斯·霍尔.谷歌学者
雷诺，J。(1974)走向类型结构理论。程序。程序设计讲座，计算机科学课堂讲稿19.Springer-Verlag公司，第页。408–425.谷歌学者
罗夫纳，第页。(1986)扩展Modula-2以构建大型集成系统.IEEE软件，三(6):46–57，11月。交叉参考谷歌学者
塔特，S.R.公司。(1990)准静态打字（初步报告）.程序。第十七届ACM程序设计语言原理研讨会，，第页。367–381.谷歌学者
韦斯，第页。，阿蓬特，M.-V.公司。，拉维尔，答：。，莫尼，M。和苏亚雷斯，答：。(1990)CAML参考手册。研究报告121，INRIA，Rocquencourt，9月。谷歌学者
沃思，N。(1987)从Modula到Oberon和编程语言Oberon。苏黎世ETH纽尔信息研究所82号技术报告。谷歌学者
提交响应

讨论

尚未发布此文章的讨论。