第条

受保护的递归数据类型构造函数

作者:

宏威 Xi（希）,

赤岩陈、和

帮派陈作者信息和声明

POPL'03：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

2003年1月

页224-235

https://doi.org/10.1145/604131.604150

出版:2003年1月15日出版历史

获取访问权限

摘要

我们引入了保护递归（g.r.）数据类型构造函数的概念，在函数编程语言（如ML和Haskell）中推广了递归数据类型的概念。我们讨论了这一概括所产生的理论和实践问题。一方面，我们设计了一个类型系统来形式化g.r.数据类型构造函数的概念，然后证明了类型系统的可靠性。另一方面，我们介绍了g.r.数据类型构造函数的一些重要应用（例如，实现对象、实现阶段计算等），认为g.r.数据库类型构造函数可以在编程中产生深远的影响。本文的主要贡献在于认识并形式化了一个既有理论意义又有实际用途的编程概念。

工具书类

[1]

L.奥古斯特松。实现Haskell重载。函数编程语言与计算机体系结构，93。]]

数字图书馆

[2]

K.B.布鲁斯。面向对象语言基础。麻省理工学院出版社，马萨诸塞州剑桥，2002年。]]

数字图书馆

[3]

C.Chen和H.Xi。实现类型化元编程。可在http://www.cs.bu.edu/char126hwxi/academic/papers/TMP.ps2002年11月。]]

[4]

A.教堂。简单类型理论的公式。符号逻辑杂志，5:56-681940

[5]

K.Crary和S.Weirich。灵活类型分析。《函数编程国际会议论文集》（ICFP’99），法国巴黎，1999年。]]

数字图书馆

[6]

K.Crary、S.Weirich和G.Morrisett。类型错误语义中的内涵多态性。《函数编程国际会议论文集》（ICFP’98），第301-312页，马里兰州巴尔的摩，1998年9月。]]

数字图书馆

[7]

R.Davies和F.Pfenning。分阶段计算的模态分析。ACM杂志，2002年。]]

数字图书馆

[8]

C.Dubois、F.Rouaix和P.Weis。一般多态性。第22届ACM编程语言原理研讨会（POPL'95），第118-129页，英国伦敦，1995年1月。]]

数字图书馆

[9]

A.Goldenberg和D.Robson。Smalltalk-80：语言及其实现。艾迪森·卫斯理，1983年。]]

数字图书馆

[10]

R.W.Harper和G.Morrisett。使用内涵类型分析编译多态性。《1995年POPL会议记录：第22届ACM SIGPLAN编程语言原理研讨会》，第130-141页，旧金山，1995年。]]

数字图书馆

[11]

K.Läufer和M.Odersky。多态类型推断和抽象数据类型。美国计算机学会程序设计语言与系统学报（TOPLAS），16（5）：1411--14301994年9月。]]

数字图书馆

[12]

X.勒罗伊。未装箱对象和多态类型。《第十九届ACM SIGPLAN编程语言原理研讨会会议记录》，第177-188页，新墨西哥州阿尔伯克基，1992年1月。]]

数字图书馆

[13]

C.刘。Smalltalk、Objects和Design。曼宁出版公司，格林威治，CT 068301996。]]

数字图书馆

[14]

R.Milner、M.Tofte、R.W.Harper和D.MacQueen。标准ML的定义（修订版）。麻省理工学院出版社，马萨诸塞州剑桥，1997年。]]

数字图书馆

[15]

M.Neubauer、P.Thiemann、M.Gasbichler和M.Sperber。函数依赖的函数表示法。《2001年哈斯克尔研讨会论文集》，第101-120页，意大利佛罗伦萨，2001年9月。]]

[16]

A.Ohori和K.Kato。多态语言中通信原语的语义。第二十届ACM SIGPLAN编程语言原理研讨会会议记录，第99-112页，南卡罗来纳州查尔斯顿，1993年1月。]]

数字图书馆

[17]

S.Peyton Jones等人。Haskell~98——一种非限定的纯函数式语言。可在http://www.haskell.org/onlinereport/1999年2月。]]

[18]

F.芬宁。计算和扣除。剑桥大学出版社，2002年。]]

[19]

W.Taha和T.Sheard。MetaML和带有显式注释的多阶段编程。理论计算机科学，248（1-2）：211--2422000

数字图书馆

[20]

A.托尔马赫。使用显式类型参数的无标记垃圾收集。1994年6月，佛罗里达州奥兰多，ACM LISP和函数编程会议记录，第1-11页。]]

数字图书馆

[21]

V.Trifonov、B.Saha和Z.Shao。完全反射的内涵类型分析。《函数编程国际会议记录》，1999年9月。]]

数字图书馆

[22]

S.魏里奇。编码内涵类型分析。《编程语言与系统：第十届欧洲编程研讨会》编辑D.Sands，2001年ESOP，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2001，Genova，意大利，2001年4月2-6日，计算机科学讲义2028卷，第92-106页。施普林格，2001年。]]

数字图书馆

[23]

H.Xi。实际编程中的依赖类型。卡内基梅隆大学博士论文，1998年。第八页+189页。可在http://www.cs.cmu.edu/char126hwxi/DML/thesis.ps。]]

数字图书馆

[24]

H.Xi、C.Chen和G.Chen。Guarded递归数据类型构造函数，2002年。可在http://www.cs.bu.edu/char126hwxi/GRecTypecon/。]]

[25]

H.Xi和F.Pfenning。实用编程中的依赖类型。在1999年1月于得克萨斯州圣安东尼奥举行的ACM SIGPLAN编程语言原理研讨会上，第214-227页。]]

数字图书馆

引用人

Parreaux L公司Boruch-Gruszecki A公司风扇A洲C(2024)当子类型约束释放时：一种新的一类多态性类型推断方法美国计算机学会程序设计语言会议录10.1145/36328908：POPL(1418-1450)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632890
Sieczkowski F公司斯蒂芬尼科S斯特林JBirkedal L公司(2024)广义代数数据类型的本质美国计算机学会程序设计语言会议录10.1145/36328668：POPL(695-723)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632866
丛Y米兰M利奥·J(2023)对偶点合成的加权细化类型第十一届ACM SIGPLAN功能艺术、音乐、建模和设计国际研讨会会议记录10.1145/3609023.3609804(2-7)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609023.3609804
显示更多引用者

索引术语

受保护的递归数据类型构造函数
1. 软件及其工程
  1. 软件符号和工具
    1. 通用编程语言
      1. 语言特点
        数据类型和结构
      2. 语言类型
        函数式语言

建议

受保护的递归数据类型构造函数

我们引入了保护递归（g.r.）数据类型构造函数的概念，在函数编程语言（如ML和Haskell）中推广了递归数据类型的概念。我们解决了由此产生的理论和实践问题。。。
阅读更多信息
自建型施工人员
OOPSLA’09：第24届ACM SIGPLAN面向对象编程系统语言和应用会议记录

Bruce和Foster提出了LOOJ语言，这是Java的一种扩展，其概念是我的类型，表示自引用的类型，并随着继承而更改其含义。我的类型对于为…编写可扩展但类型安全的类很有用。。。
阅读更多信息
自类型构造函数
2009年OOPSLA

Bruce和Foster提出了LOOJ语言，这是Java的一种扩展，其概念是我的类型，表示自引用的类型，并随着继承而更改其含义。我的类型对于为…编写可扩展但类型安全的类很有用。。。
阅读更多信息

评论

信息和贡献者

问询处

发布时间

封面图片ACM会议

POPL'03：第30届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

2003年1月

308页

国际标准图书编号：1581136285

内政部：10.1145/604131

总主席：
亚历克斯·艾肯
加利福尼亚大学伯克利分校
,
项目主席：
格雷格·莫里塞特
康奈尔大学

ACM SIGPLAN通知第38卷第1期
2003年1月
298页
国际标准编号：0362-1340
EISSN公司：1558-1160
内政部：10.1145/640128
期刊目录

版权所有©2003 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。向请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2003年1月15日

权限

请求对此文章的权限。

检查更新

作者标记

受保护的递归数据类型构造函数

限定符

第条

会议

POPL03系列

赞助商：

POPL03:POPL'03——第30届ACM SIGPLAN-SIGACT编程语言原理年会

2003年1月15日至17日

路易斯安那州、新奥尔良、美国

接受率

POPL'03论文接受率126份提交中的24份，19%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

府绸'25

赞助商：
信号平面图

第52届ACM SIGPLAN年度程序设计语言原理研讨会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

235
引文总数
查看引文
939
总下载次数

下载次数（过去12个月）61
下载次数（最近6周）5

其他指标

查看作者指标

引文

引用人

帕罗LBoruch-Gruszecki A公司风扇A洲C(2024)当子类型约束释放时：一种新的一类多态性类型推断方法美国计算机学会程序设计语言会议录10.1145/36328908：POPL(1418-1450)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632890
Sieczkowski F公司斯蒂芬尼科S斯特林JBirkedal L公司(2024)广义代数数据类型的本质美国计算机学会程序设计语言会议录10.1145/36328668：POPL(695-723)在线发布日期：2024年1月5日
https://dl.acm.org/doi/10.1145/3632866
丛Y米兰M利奥·J(2023)对偶点合成的加权细化类型第十一届ACM SIGPLAN功能艺术、音乐、建模和设计国际研讨会会议记录10.1145/3609023.3609804(2-7)在线发布日期：2023年8月30日
https://dl.acm.org/doi/10.1145/3609023.3609804
马斯托鲁L帕帕斯普鲁NVazou N公司波利卡波娃N(2022)归纳共推：在Liquid Haskell中机械化共推证明第十五届ACM SIGPLAN国际哈斯克尔研讨会会议记录10.1145/3546189.3549922(1-12)在线发布日期：2022年9月6日
https://dl.acm.org/doi/10.1145/3546189.3549922网址
约翰·P吉奥尔齐E波佩斯库AZdancewic S公司(2022)GADT的（深层）归纳规则第十一届ACM SIGPLAN认证程序和证明国际会议记录10.1145/3497775.3503680(324-337)在线发布日期：2022年1月17日
https://dl.acm.org/doi/10.1145/3497775.3503680
约翰·PCagne P公司(2022)GADT上可映射函数的特征编程语言和系统10.1007/978-3-031-21037-2_7(135-154)在线发布日期：2022年11月25日
https://doi.org/10.1007/978-3-031-21037-2_7
徐YBoruch-Gruszecki A公司帕罗L理查·福伊JDoeraene S公司(2021)为Scala 3实现路径相关GADT推理第十二届ACM SIGPLAN Scala国际研讨会会议记录10.1145/3486610.3486892(22-32)在线发布日期：2021年10月17日
https://dl.acm.org/doi/10.1145/3486610.3486892
张YKo H公司果园D(2021)索引类型的更简单编码第六届ACM SIGPLAN类型驱动开发国际研讨会会议记录10.1145/3471875.3472991(14-22)在线发布日期：2021年8月18日
https://dl.acm.org/doi/10.1145/3471875.3472991
邓菲尔德JKrishnaswami N号(2021)双向打字倒排索引综述10.1145/345095254:5(1-38)在线发布日期：2021年5月25日
https://dl.acm.org/doi/10.1145/3450952
格拉夫S佩顿·琼斯斯科特·R(2020)放松警惕：合成图案比赛覆盖检查美国计算机学会程序设计语言会议录10.1145/34089894：ICFP(1-30)在线发布日期：2020年8月3日
https://dl.acm.org/doi/10.1145/3408989
显示更多引用者

视图选项

获取访问权限

登录选项

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

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子