摘要
补充材料
可供下载
桑德普·比斯沃斯（Sandip K.Biswas）。 1995.具有透明签名的高阶函数。 第22届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录（POPL'95）。 计算机械协会，美国纽约州纽约市154-163。 编号：0897916921 https://doi.org/10.1145/199448.199478 谷歌学者 
数字图书馆 
Clément Blaudeau、Didier Rémy和Gabriel Radanne。 2024.透明实现OCaml模块（补充材料）。 https://doi.org/10.1145/3649818 谷歌学者 数字图书馆 卡尔·克莱里。 2017.模块、抽象和参数多态性。 第44届ACM SIGPLAN编程语言原理研讨会会议记录（POPL 2017）。 ACM，美国纽约州纽约市，100-113。 国际标准编号：978-1-4503-4660-3 https://doi.org/10.1145/3009837.3009892 活动地点：法国巴黎 谷歌学者 数字图书馆 卡尔·克莱里。 2019.完全抽象模块编译。 程序。 ACM计划。 Lang.，3，POPL（2019），第10条，1月，29页。 https://doi.org/10.1145/3290323 谷歌学者 数字图书馆 卡尔·克莱里。 2020年，重点解决回避问题。 《函数编程杂志》，30（2020），e24。 发行号：0956-7968、1469-7653 https://doi.org/10.1017/S0956796820000222 谷歌学者 交叉引用 
德里克·德雷尔（Derek Dreyer）。 2007.递归类型生成性。 函数编程杂志，17，4-5（2007），433-471。 https://doi.org/10.1017/S0956796807006429 谷歌学者 数字图书馆 德里克·德雷尔（Derek Dreyer）、卡尔·克莱里（Karl Crary）和罗伯特·哈珀（Robert Harper）。 2003.高阶模块的类型系统。 2003年1月15日至17日，美国路易斯安那州新奥尔良市，第30届SIGPLAN-SIGACT编程语言原理研讨会，亚历克斯·艾肯和格雷格·莫里塞特（编辑），POPL 2003会议记录。 美国医学会，236–249。 https://doi.org/10.1145/604131.604151 谷歌学者 数字图书馆 德里克·德雷尔（Derek Dreyer）、罗伯特·哈珀（Robert Harper）和卡尔·克里（Karl Crary）。 2005.了解和发展ML模块系统。 博士论文。 美国编号：0542015501 AAI3166274 谷歌学者 雅克·瓜里格和利奥·怀特。 2014.类型级模块别名：独立和平等。 ML系列/OCaml用户和开发人员研讨会。 https://www.math.nagoya-u.ac.jp/ ~garrigue/papers/modalias.pdf 谷歌学者 罗伯特·哈珀和马克·利利布里奇。 1994年。具有共享的高阶模块的类型理论方法。第21届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集（POPL'94）。 美国纽约州纽约市计算机机械协会，123-137。 编号：0897916360 https://doi.org/10.1145/174675.176927 谷歌学者 数字图书馆 罗伯特·哈珀、约翰·米切尔和尤金尼奥·莫吉。 1989.高阶模块和相位区分。 第17届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL'90）会议记录。 美国纽约州纽约市计算机协会341-354。 编号：0897913434 https://doi.org/10.1145/96709.96744 谷歌学者 数字图书馆 泽维尔·勒罗伊。 1994.清单类型、模块和单独编译。 在第21届ACM SIGPLAN-SIGCT程序设计语言原理研讨会论文集（POPL’94）。 美国纽约州纽约市计算机协会109-122。 isbn:08979916360 https://doi.org/10.1145/174675.176926 谷歌学者 数字图书馆 泽维尔·勒罗伊。 适用函子和完全透明的高阶模。 第22届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录-POPL'95。 美国加利福尼亚州旧金山ACM出版社。 142–153. 国际标准编号：978-0-89791-692-9 https://doi.org/10.1145/199448.199476 谷歌学者 数字图书馆 泽维尔·勒罗伊。 2000.模块化模块系统。 J.功能。 程序。， 10, 3 (2000), 269–303. http://journals.cambridge.org/action/displayAbstract？aid=54525 谷歌学者 数字图书馆 大卫·B·麦昆。 1986.使用依赖类型表示模块化结构。 美国纽约州纽约市计算机械协会277–286。 编号：9781450373470 https://doi.org/10.1145/512644.512670 谷歌学者 数字图书馆 阿尼尔·马达瓦佩迪、理查德·莫蒂尔、查拉兰波斯·罗索斯、大卫·斯科特、巴尔拉杰·辛格、托马斯·加扎格奈尔、史蒂文·史密斯、史蒂文·汉德和乔恩·克劳克罗夫特。 2013年。Unikernels：用于云的库操作系统。 2013年3月16日至20日，美国德克萨斯州休斯顿，《编程语言和操作系统的架构支持》，Vivek Sarkar和Rastislav Bodík（编辑）。 美国医学会，461-472。 https://doi.org/10.1145/2451116.2451167 谷歌学者 数字图书馆 约翰·米切尔（John C.Mitchell）和戈登·普洛金（Gordon D.Plotkin）。 1985.抽象类型具有存在类型。 第十二届ACM SIGACT-SIGPLAN编程语言原理研讨会（POPL’85）会议记录。 美国纽约州纽约市计算机机械协会37–51。 编号：0897911474 https://doi.org/10.1145/318593.318606 谷歌学者 数字图书馆 贝诺·蒙塔古。 2010年。使用核心语言中的一流模块进行编程，包括子类型、单例类型和开放存在类型。 （程序员使用noyau pourvu de sous-typage语言对高级模块进行分类，对单一类型和现有类型进行分类）。 法国帕莱索埃科尔理工学院。 https://tel.archives-ouvertes.fr/tel-00550331 谷歌学者 贝诺·蒙塔古和迪迪埃·雷米。 2009.使用开放存在类型在模块中建模抽象类型。 第36届ACM程序设计语言原理研讨会会议记录（POPL'09）。 美国佐治亚州萨凡纳354–365。 国际标准编号：978-1-60558-379-2 https://doi.org/10.1145/1480881.1480926 谷歌学者 数字图书馆 加布里埃尔·拉丹（Gabriel Radanne）、托马斯·加加内尔（Thomas Gazagnaire）、安妮尔·马达瓦佩迪（Anil Madhavapedy）、杰里米·亚洛普（Jeremy Yallop）、理查德·莫蒂尔（Richard Mortier）、汉内斯·梅内特（Hannes Mehnert。 2019.通过函数驱动开发大规模编程Unikernel。 arxiv:1905.02529。 谷歌学者 安德烈亚斯·罗斯伯格（Andreas Rossberg），2018年。 1ML-核心和模块相结合。 J.功能。 程序。， 28（2018），第22页。 https://doi.org/10.1017/S0956796818000205 谷歌学者 交叉引用 安德烈亚斯·罗斯伯格和德里克·德雷尔。 2013年，混合ML模块系统。 ACM事务处理。 程序。 语言系统。， 35，1（2013），4月，2:1–2:84。 发行号：0164-0925 https://doi.org/10.1145/2450136.2450137 谷歌学者 数字图书馆 安德烈亚斯·罗斯伯格（Andreas Rossberg）、克劳迪奥·拉索（Claudio Russo）和德里克·德雷尔（Derek Dreyer）。 2014.F-ing模块。 函数编程杂志，24，5（2014），9月，529-607。 发行号：0956-7968、1469-7653 https://doi.org/10.1017/S0956796814000264 谷歌学者 交叉引用 克劳迪奥·拉索。 2000.标准ML.Nord.J.Comput.的一级结构。， 7, 4 (2000), 348–374. 谷歌学者 数字图书馆 克劳迪奥·拉索。 2004.模块类型。 理论计算机科学电子笔记，60（2004），3-421。 发行编号：1571-0661 https://doi.org/10.1016/S1571-0661 (05)82621-0 谷歌学者 交叉引用 中山。 2004年，系统F^ω和Haskell中的高阶模块。 1 谷歌学者 钟绍。 1999.具有完全句法特征的透明模块。 1999年9月27日至29日，法国巴黎，第四届ACM SIGPLAN函数式编程国际会议（ICFP’99）会议记录。 ACM，220–232。 https://doi.org/10.1145/317636.317801 谷歌学者 数字图书馆 菲利普·西奇科夫斯基（Filip Sieczkowski）、谢尔盖·斯蒂潘尼科（Sergei Stepanenko）、乔纳森·斯特林（Jonathan Sterling）和拉尔斯·比克达尔（Lars Birkedal）。 2024.广义代数数据类型的本质。 程序。 ACM计划。 Lang.，8，POPL（2024），第24条，1月，29页。 https://doi.org/10.1145/3632866 谷歌学者 数字图书馆 利奥·怀特（Leo White）、弗雷德里克·鲍尔（Frédéric Bour）和杰里米·亚洛普（Jeremy Yallop）。 2014.模块隐含。 2014年9月4日至5日，瑞典哥德堡，ML/OCaml 2014年，ML Family/OCaml用户和开发者研讨会论文集。 https://doi.org/10.4204/EPTCS.198.2 谷歌学者 交叉引用
建议
1ML–核心和模块联合（F-ing一流模块） 2015年ICFP ML是两种语言合一的：有核心，有类型和表达式，有模块，有签名、结构和函子。 模块在核心之上形成一种独立的高阶函数语言。 既有实用性，也有。。。 使用开放存在类型在模块中建模抽象类型 POPL'09：第36届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录 我们提出了F-zip，一种开放存在类型的演算，它是通过将存在类型的引入和消除分解为更多的原子结构而获得的系统F的扩展。 开放存在类型模型模块化类型抽象为。。。
