1 容器：构造严格正类型 理论。 计算。 科学。 2005 342 1 三 27 2160709 2016年10月10日/j.tcs.2005.06.002 1077.68015 谷歌学者 
数字图书馆 
2 高阶嵌套数据类型的（Co-）迭代 证明和程序的类型 2003 海德堡 施普林格 1 20 10.1007/3-540-39185-1_1 1023.68066 谷歌学者 交叉引用 
3 高阶嵌套数据类型的广义迭代和叠代 软件科学和计算结构基础 2003 海德堡 施普林格 54 69 10.1007/3-540-36576-1_4 1029.68097 谷歌学者 交叉引用 4 Abel，A.，Matthes，R.，Uustalu，T.：高阶和嵌套数据类型的迭代和迭代方案。 理论。 计算。 科学。 333 (1–2), 3–66 (2005) 谷歌学者 5 范畴语言中的自由代数和自动机实现 注释。 数学。 卡罗尔大学。 1974 15 4 589 602 352209 293.18006 谷歌学者 6 依赖类型理论中泛型程序的宇宙和证明 Nord.J.计算。 2003 10 4 265 289 2052351 1094.68012 谷歌学者 数字图书馆 7 可重用语言组件的潜在影响 编程语言和系统 2021 查姆 施普林格 182 201 10.1007/978-3-030-89051-3_11 谷歌学者 数字图书馆 8 嵌套数据类型 程序构造数学 1998 海德堡 施普林格 52 67 2007年10月10日/BFb0054285 谷歌学者 交叉引用 9 嵌套数据类型的通用折叠 形式方面计算。 1999 11 2 200 222 2007年10月17日/001650050047 937.68027 谷歌学者 数字图书馆 10 Cai，Y.，Giarrusso，P.G.，Ostermann，K.：用于数据类型通用编程的具有等递归类型的系统f-omega。 收录于：Bodík，R.，Majumdar，R.（编辑）《第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集》，2016年POPL，美国佛罗里达州圣彼得堡，2016年1月20日至22日，第30-43页。 ACM（2016）。 DOI（操作界面）： https://doi.org/10.1145/2837614.28737660 谷歌学者 数字图书馆 11 最终无标记，部分评估：用于简单类型语言的无标记分段解释器 J.功能。 程序。 2009 19 5 509 543 2539336 10.1017/S09567968090072005 1191.68158 谷歌学者 数字图书馆 12 Chapman，J.、Dagand，P.、McBride，C.、Morris，P.：轻柔的悬浮艺术。 摘自：Hudak，P.，Weirich，S.（编辑）《第15届ACM SIGPLAN功能编程国际会议论文集》，ICFP 2010，美国马里兰州巴尔的摩，2010年9月27日至29日，第3-14页。 ACM（2010）， DOI（操作界面）： https://doi.org/10.1145/1863543.1863547 谷歌学者 数字图书馆 13 归纳定义类型 科隆88 1990 海德堡 施普林格 50 66 10.1007/3-540-52335-9_47 谷歌学者 交叉引用 14 Dagand，P.：数据类型宇宙论：可重用性和依赖类型。 英国格拉斯哥斯特拉斯克莱德大学博士论文（2013年）。 https://oleg.lib.strath.ac.uk/R/？func=dbin -跳转-满&对象id=22713 谷歌学者 15 计算充分性的句法观点 软件科学和计算结构基础 2018 查姆 施普林格 71 87 10.1007/978-3-319-89366-2_4 1504.68038 谷歌学者 交叉引用 16 Felleisen，M.，Hieb，R.：关于顺序控制和状态的句法理论的修订报告。 西奥。 计算。 科学。 103(2), 235–271 (1992). DOI（操作界面）： https://doi.org/10.1016/0304-3975 (92)90014-7 谷歌学者 数字图书馆 17 Glimming，J.，Ghani，N.：对象演算的二函数语义。 在：Bono，V.，Bugliesi，M.，Drossopoulou，S.（编辑）第二次面向对象开发研讨会论文集，WOOD 2004，英国伦敦，2004年8月30日。 ENTCS，第138卷，第79-94页。 Elsevier（2004）。 DOI（操作界面）： https://doi.org/10.1016/j.entcs.2005.09.012 谷歌学者 数字图书馆 18 Goguen，J.A.：抽象数据类型的规范、正确性和实现的初始代数方法。 IBM研究报告6487（1976） 谷歌学者 19 Hubers，A.、Morris，J.G.：具有可扩展数据类型的通用编程：或者，使即席可扩展的数据类型不那么即席。 程序。 ACM计划。 语言。 7 （ICFP）（2023年）。 DOI（操作界面）： https://doi.org/10.1145/3607843 谷歌学者 数字图书馆 20 Johann，P.，Ghiorzi，E.：嵌套类型和小工具的参数化。 日志。 方法计算。 科学。 17 (4) (2021). DOI（操作界面）： https://doi.org/10.46298/lmcs-17 (4:23)2021 谷歌学者 交叉引用 21 基元嵌套类型的参数性 软件科学和计算结构基础 2021 查姆 施普林格 324 343 10.1007/978-3-030-71995-1_17 谷歌学者 数字图书馆 22 Johann，P.，Polonsky，A.：高级数据类型：语法和语义。 摘自：第34届ACM/IEEE计算机科学逻辑年会，2019年LICS，加拿大不列颠哥伦比亚省温哥华，2019月24-27日，第1-13页。 IEEE（2019）， https://doi.org/10.109/LICS.2019.8785657 谷歌学者 交叉引用 23 Kammar，O.，Lindley，S.，Oury，N.：Handlers正在行动。 收录于：Morrisett，G.，Uustalu，T.（编辑）ACM SIGPLAN功能编程国际会议，ICFP 2013，美国马萨诸塞州波士顿，2013年9月25-27日，第145-158页。 ACM（2013）。 DOI（操作界面）： https://doi.org/10.1145/2500365.2500590 谷歌学者 数字图书馆 24 代数编程 高级函数编程 1995 海德堡 施普林格 267 307 10.1007/3-540-59451-5_8 谷歌学者 交叉引用 25 打字无标签期末口译员 泛型和索引编程 2012 海德堡 施普林格 130 174 10.1007/978-3-642-32202-0_3 谷歌学者 数字图书馆 26 数学工作者的范畴 1978 纽约 施普林格 10.1007/978-1-4757-4721-8 232.18001 谷歌学者 交叉引用 27 香蕉、镜头、信封和带刺铁丝网的功能编程 函数编程语言与计算机体系结构 1991 海德堡 施普林格 124 144 10.1007/3540543961_7 谷歌学者 交叉引用 28 计算和单子的概念 Inf.计算。 1991 93 1 55 92 1115262 10.1016/0890-5401(91)90052-4 723.68073 谷歌学者 数字图书馆 29 Morris，J.G.，McKinna，J.：抽象可扩展数据类型：或使用任何其他名称的行。 程序。 ACM计划。 语言。 三 （POPL），12:1–12:28（2019）。 DOI（操作界面）： https://doi.org/10.1145/3290325 谷歌学者 数字图书馆 30 代数效应的处理程序 编程语言和系统 2009 海德堡 施普林格 80 94 10.1007/978-3-642-00590-9_7 谷歌学者 数字图书馆 31 Poulsen，C.B.，van der Rest，C.：Hefty代数：高阶代数效应的模块化阐述。 程序。 ACM计划。 语言。 7 （POPL），1801-1831（2023）。 DOI（操作界面）： https://doi.org/10.1145/3571255 谷歌学者 数字图书馆 32 van der Rest，C.，Poulsen，C.B.：面向定义可重用编程语言组件的语言-（项目文件）。 收录：Swierstra，W.，Wu，N.（编辑）《函数编程趋势——第23届国际研讨会》，TFP 2022，虚拟事件，2022年3月17日至18日，修订论文集。 LNCS，第13401卷，第18-38页。 查姆施普林格（2022）。 DOI（操作界面）： https://doi.org/10.1007/978-3-031-21314-4_2 谷歌学者 数字图书馆 33 van der Rest，C.，Poulsen，C.B.：可扩展数据类型的类型和语义（扩展版本）（2023） 谷歌学者 34 高阶程序设计语言的定义解释器 高。 订单符号。 计算。 1998 11 4 363 397 10.1023/A:1010027404223 934.68034 谷歌学者 数字图书馆 35 Schrijvers，T.，Piróg，M.，Wu，N.，Jaskelioff，M.：单子变压器和模代数效应：是什么将它们结合在一起的。 In:Eisenberg，R.A.（编辑）第十二届ACM SIGPLAN Haskell国际研讨会论文集， 哈斯克尔@ICFP 2019年，德国柏林，2019年8月18-23日，第98-113页。 ACM（2019）。 DOI（操作界面）： https://doi.org/10.1145/3331545.3342595 谷歌学者 数字图书馆 36 数据类型如点菜 J.功能。 程序。 2008 18 4 423 436 2524488 10.1017/S0956796808006758 1153.68015 谷歌学者 数字图书馆 37 门德尔式归纳类型 Nord.J.计算机。 1999 6 三 343 1732416 937.68029 谷歌学者 数字图书馆 38 Wadler，P.：表达问题。 https://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt （1998），2020年7月1日访问 谷歌学者 39 最终代数语义和数据类型扩展 J.计算。 系统。 科学。 1979 19 1 27 44 546231 10.1016/0022-0000(79)90011-4 418.68020 谷歌学者 交叉引用 40 Wu，N.，Schrijvers，T.，Hinze，R.：作用域中的效果处理程序。 收录于：Swierstra，W.（编辑）2014年ACM SIGPLAN Haskell研讨会论文集，瑞典哥德堡，2014年9月4-5日，第1-12页。 ACM（2014）， DOI（操作界面）： https://doi.org/10.1145/2633357.2633358 谷歌学者 数字图书馆 41 范围效应的结构化处理 程序设计语言与系统 2022 查姆 施普林格 462 491 10.1007/978-3-030-99336-8_17 谷歌学者 数字图书馆 42 Zhang，W.，Sun，Y.，d.S.Oliveira，B.C.：组合编程。 ACM事务处理。 程序。 语言系统。 43 (3), 9:1–9:61 (2021). DOI（操作界面）： https://doi.org/10.1145/3460228 谷歌学者 数字图书馆
建议
用于宽松符号执行的符号类型 我们提出了lambda_sym，一种用于 宽大象征性处决 ，其中一些语言构造不识别符号值。 然而，它的类型系统确保了程序中所有符号值的安全行为。 我们的演算扩展了一个基础。。。
