文章

标准ML的一流结构

作者:

克劳迪奥五世。俄罗斯作者信息和声明

北欧计算机杂志,体积7,问题4

页348-374

出版:2000年12月1日出版历史

摘要

标准ML是一种静态类型的编程语言，适用于小型和大型程序的构造。“小型编程”被标准ML捕获核心语言。“大规模编程”被标准ML捕获模块提供构造的语言，用于将相关的核心语言定义组织为具有描述性接口的自包含模块。核心用于表达算法和数据结构的细节，模块用于表达整体建筑学软件系统。模块和核心语言是分层的，分层的从某种意义上说，模块可能不会作为核心的普通价值观进行操纵。这是一个限制，因为这意味着不能根据运行时需求重新配置程序的架构。我们提出了一种新颖实用的语言扩展，允许模块作为核心语言的一流价值进行操作。

工具书类

[1]

埃尔斯曼，M.1999。程序模块、单独编译和模块间优化。博士论文。哥本哈根大学计算机科学系

[2]

HARPER，R.和LILLIBRIDGE，M.，1994年。具有共享的高阶模块的类型理论方法。第21届ACM Symp。编程语言原理。]]

[3]

HARPER，R.和MITCHELL，J.C.，1993年。关于标准ML的类型结构。在ACM编程语言和系统事务15，2，211-252。]]

数字图书馆

[4]

辛德利，1969年。组合逻辑中对象的主要类型方案。事务处理。美国数学学会，146，29-40。]]

[5]

琼斯，M.1996。使用参数化签名表示模块化结构。在第23交响乐团。程序设计语言原理。]]

[6]

KATIYAR，D.、LUCKHAM，D.和MITCHELL，J.1994年。原型语言的类型系统。第24届ACM交响乐团。编程语言原理。]]

[7]

LEROY，X.1994年。清单类型、模块和单独编译。第21届ACM交响乐团。程序设计语言原理。ACM出版社，109-122.]]

[8]

LEROY，X.1995年。适用函子和完全透明的高阶模。第22交响乐团。程序设计语言原理。ACM出版社，142-153年。]]

[9]

LILLIBRIDGE，M.1997年。半透明和：高阶模块系统的基础。卡内基梅隆大学计算机科学学院博士论文。]]

[10]

麦肯，D.1986。使用依赖类型表示模块结构。第13届ACM交响乐团。编程语言原理。]]

[11]

MACQEEN，D.和TOFTE，M.，1994年。高阶函数的语义。《程序设计语言与系统-ESOP’94》，计算机科学讲义第788卷。施普林格-弗拉格。]]

[12]

米尔纳，R.1978。编程语言中的类型多态理论。计算机与系统科学杂志17，348-375。]]

[13]

米尔纳，R.，托夫特，M.，哈珀，R.和麦奎恩，D.1997。标准ML的定义（修订版）。麻省理工学院出版社。]]

[14]

MITCHELL，J.C.、MELDAL，S.和MADHAV，N.1991。带有子类型和继承的标准ML模块的扩展。第18届ACM交响乐团。编程语言原理。]]

[15]

MITCHELL，J.C.和PLOTKIN，G.D 1988。抽象类型具有存在类型。美国计算机学会程序设计语言与系统汇刊10，3（七月），470-502。]]

数字图书馆

[16]

ODERSKY，M.和LáUFER，K.，1996年。使类型注释发挥作用。第23交响乐团。编程语言原理。]]

[17]

OKASAKI，C.1998年。纯功能数据结构。剑桥大学出版社。]]

[18]

RUSSO，C.V.1998年。模块类型。爱丁堡大学计算机科学基础实验室博士论文。]]

[19]

RUSSO，C.V.1999年。标准ML模块的非依赖类型。1999年，国际声明性编程原则与实践大会。]]

[20]

RUSSO，C.V.2000a。标准ML的一级结构（本文的简短版本）。在欧洲编程研讨会上。]]

[21]

RUSSO，C.V.2000b。非标准ML（语法和静态语义）的定义。草案。可根据要求提供。]]

[22]

SESTOFT，P.、ROMANENKO，S.和RUSSO，C.V.2000。莫斯科ML V2.00。可在网址：http://www.dina.kvl.dk/~sestoft/mosml。]]

[23]

托夫特，M.1988。操作语义和多形类型推理。爱丁堡大学计算机科学系博士论文。]]

引用人

克莱门特B雷米·D拉丹·G(2024)用透明性实现OCaml模块美国计算机学会程序设计语言会议录10.1145/36498188：OOPSLA1(194-222)在线发布日期：2024年4月29日
https://dl.acm.org/doi/10.1145/3649818
克雷K(2019)完全抽象的模块编译美国计算机学会程序设计语言会议录10.1145/3290323三：POPL(1-29)在线发布日期：2019年1月2日
https://dl.acm.org/doi/10.1145/3290323
拉丹·GVouilon J公司Champin公司甘顿·F梅迪尼·L拉玛斯·MIpeirotis P型(2018)大规模的无层Web编程2018年网络会议相关会议记录10.1145/3184558.3185953(681-689)在线发布日期：2018年4月23日
https://dl.acm.org/doi/10.1145/3184558.3185953
显示更多引用者

索引术语

标准ML的一流结构
1. 软件及其工程
  1. 软件符号和工具
    1. 正式语言定义
    2. 通用编程语言
      1. 语言特点
        模块/包
      2. 语言类型
2. 计算理论
  1. 形式语言与自动机理论

建议

标准ML的递归结构
补充问题

标准ML是一种静态类型的编程语言，适用于小型和大型程序的构造。“小型编程”被Standard ML的核心语言捕获。“大规模编程”被标准ML捕获。。。
阅读更多信息
1ML–核心和模块统一（F-ing一流模块）
2015年ICFP

ML是两种语言合二为一：有核心，有类型和表达式，有模块，有签名、结构和函子。模块在核心之上形成一种独立的高阶函数语言。既有实用性，也有。。。
阅读更多信息
1ML–核心和模块统一（F-ing一流模块）
ICFP 2015：第20届ACM SIGPLAN函数编程国际会议记录

ML是两种语言合一的：有核心，有类型和表达式，有模块，有签名、结构和函子。模块在核心之上形成一种独立的高阶函数语言。既有实用性，也有。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片北欧计算机杂志

北欧计算机杂志第7卷第4期

2000年冬季

144页

ISSN公司：1236-6064

出版商

出版协会北欧计算机杂志

芬兰

出版历史

出版：2000年12月1日

作者标记

限定符

第条

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

17
引文总数
查看引文
0
总下载次数

下载量（最近12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

克莱门特B雷米D拉丹·G(2024)用透明性实现OCaml模块美国计算机学会程序设计语言会议录10.1145/36498188：OOPSLA1(194-222)在线发布日期：2024年4月29日
https://dl.acm.org/doi/10.1145/3649818
克里·K(2019)完全抽象的模块编译美国计算机学会程序设计语言会议录10.1145/3290323三：POPL(1-29)在线发布日期：2019年1月2日
https://dl.acm.org/doi/10.1145/3290323
拉丹·G沃伊隆JChampin公司甘顿·F梅迪尼·L拉玛斯·MIpeirotis P型(2018)大规模的无层Web编程2018年网络会议相关会议记录10.1145/3184558.3185953(681-689)在线发布日期：2018年4月23日
https://dl.acm.org/doi/10.1145/3184558.3185953
罗斯伯格A(2015)1ML–核心和模块联合（F-ing一流模块）ACM SIGPLAN通知10.1145/2858949.278473850:9(35-47)在线发布日期：2015年8月29日
https://dl.acm.org/doi/10.1145/2858949.2784738
罗斯伯格A费希尔KReppy J系列(2015)1ML–核心和模块统一（F-ing一流模块）第20届ACM SIGPLAN函数编程国际会议记录10.1145/2784731.2784738(35-47)在线发布日期：2015年8月29日
https://dl.acm.org/doi/10.1145/2784731.2784738
俄罗斯C(2012)标准ML的递归结构ACM SIGPLAN通知10.1145/2442776.244278447：4a(48-59)在线发布日期：2012年3月18日
https://dl.acm.org/doi/10.1145/2442776.2442784
罗洛夫J洛伦岑F(2012)相互递归第一类模块的Call-by-Value语义2012年功能编程趋势会议记录-第7829卷10.1007/978-3-642-40447-4_7(101-116)在线发布日期：2012年6月12日
https://dl.acm.org/doi/10.1007/978-3-642-40447-4_7
我是HNakata K公司Garrigue J公司公园S(2011)递归模块的语法类型系统ACM SIGPLAN通知10.1145/2076021.204814146:10(993-1012)在线发布日期：2011年10月22日
https://dl.acm.org/doi/10.1145/2076021.2048141
我是HNakata K公司Garrigue J公司公园S洛佩斯C费希尔K(2011)递归模块的语法类型系统2011年ACM面向对象编程系统语言和应用国际会议论文集10.1145/2048066.2048141(993-1012)在线发布日期：2011年10月22日
https://dl.acm.org/doi/10.1145/2048066.2048141
罗斯伯格A俄罗斯C德雷尔D肯尼迪A本顿N(2010)F-ing模块第五届ACM SIGPLAN语言设计和实现类型研讨会会议记录10.1145/1708016.1708028(89-102)在线发布日期：2010年1月23日
https://dl.acm.org/doi/10.1145/1708016.1708028
显示更多引用者

视图选项

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子

查看问题目录