×
马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米·D·。

多态语言中的动态类型。 （英语） Zbl 0819.68142号

J.功能。程序。 5，第1期，111-130（1995）.
摘要：编程中有时需要一些动态类型，即使存在高级静态类型系统。我们研究了动态类型与其他高级类型结构的相互作用，讨论了它们与语言的集成，包括显式多态性（以系统（F）的形式）、隐式多态性的（以ML的形式），抽象数据类型和子类型。

引用于12文件

MSC公司：

68甲18 函数编程和lambda演算
68甲15 编程语言理论

关键词：

动态键入
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}等人，J.Funct。程序。5，编号1，111--130（1995；Zbl 0819.68142）
全文： 内政部

参考文献：

[1] 内政部：10.1145/6041.6042·数字对象标识代码：10.1145/6041.6042
[2] Birtwistle，模拟开始（1979）
[3] Abadi，ACM Sigplan ML及其应用研讨会第92页–（1992）
[4] 内政部：10.1145/103135.103138·数字对象标识代码：10.1145/103135.103138
[5] Reynolds，程序。程序设计讲座，计算机科学课堂讲稿19，第408页–（1974）
[6] 内政部：10.1109/MS.1986.229476·doi:10.1109/MS.1986.229476
[7] 卡德利，《计算机软件的理论方面》，计算机科学讲稿526 pp 750–（1991）·doi:10.1007/3-540-54415-1_73
[8] 内政部：10.1145/44501.45065·doi:10.1145/44501.45065
[9] 米尔纳，《标准ML的定义》（1990年）
[10] Liskov，CLU参考手册（1981）
[11] Leroy，《函数编程语言与计算机体系结构》，1991年，《计算机科学讲义》，第523页，第406页–（1991年）
[12] Cardelli，组合器和函数编程语言，计算机科学课堂讲稿242 pp 21–（1988）
[13] Nelson，Modula-3中的系统编程
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。