{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,1,29]]，“日期-时间”：“2024-01-29T15:59:23Z”，“时间戳”：1706543963362}，“引用-计数”：23，“发布者”：“爱思唯尔BV”，“问题”：“1-2”，“许可证”：[{“开始”：{:“日期-零件”：[[1993,12,1]]，”日期-时间“：”1993-12-01T00:00:00Z“，”时间戳“：754704000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：7168，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1993,12]]}，”DOI“：”10.1016\/0304-3975（93）90082-5“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,26]]，”date-time“：”2002-07-26T03:47:37Z“，”timestamp“：1027655257000}“page”：“9-58”，“source“：”Crossref“，“is-referenced-by-count”：41，“title”：[“形式参数多态性”]，“prefix”：“10.1016”，“volume”：“121”，“author”：[{“给定”：“M”，“family”：“Abadi”，“sequence”：“first”，“affiliation”：[]}，{“give”：“L.”从属关系“：[]}]，”成员“：”78“，“reference”：[{“key”：“10.1016\/0304-3975（93）90082-5_BIB1”，“article-title”：“形式参数多态性”，“author”：“Abadi”，“year”：“1993”，“journal-title“：”Proc.20th Ann.ACM Symp.on Principles of Programming Languages“}，{“key”：“101016\/0304-3975（93）900082-5_IB2”，“doi-asserted-by”：“crossref”，“first-page”：“35”，“doi”：“10.0016\/0304-3975（90）90151-7“，“article-title”：“功能多态性”，“卷”：“70”，“作者”：“班布里奇”，“年份”：“1990”，“期刊标题”：“理论计算科学”}，{“键”：“10.1016\/0304-3975（93）90082-5_BIB3”，“doi-asserted-by”：“crossref”，《首页》：“135”，“doi”：“101016\/0304-3975（85）90135-5”，“article-titel”：“类型的自动合成\u03bb项代数上的programs”，“volume”：“39”，“author”：“B\u00f6hm”，“year”：“1985”，“journal-title”：“Theoret.Compute.Sci.”}，{“key”：”10.1016\/0304-3975（93）90082-5_BIB4“，”series-title“：”Proc.Theory Aspects of Computer Software“，”article-title“：“带子类型的系统F的扩展”，“volution”：《第526卷》，“author”：“Cardelli”，“年份”：“1991”}、{“issue”：“5”，“键”：“10.1016\/0304-3975（93）90082-5_BIB5”，“doi-asserted-by”：“crossref”，“first page”：“381”，“doi”：“10.106\/1385-7258（72）90034-0”，”article-title“：“Lambda-calculus notation with nameless dummies”，“volume”：”34“，”author“：”de Bruijn“，”year“：”1972“，”journal title“：”Indag.Math.“}，{”key“：”10.1016\/030 4-3975（93）90082-5_BIB6“，“series-title”：“证据和类型”，“author”：“Girard”，“year”：“1989”}，{“key”：“10.1016\/0304-3975（93）90082-5_BIB7”，“series-title”：“计算机软件的程序理论方面”，“article-title”：《多态性的广义折叠项模型的参数性及其范畴属性》，“volume”：《第526卷》，“audor”：《长谷川》，“year:“1991”}90082-5_BIB8“，“author”：“Hasegawa”，“year”：“1992”，“journal-title”：“参数多态性中的分类数据类型”}，{“key”：“10.1016\/0304-3975（93）90082-5_ BIB9”，“series-title”：《程序设计语义学的数学基础》，“article-title“：“PER模型中的代数类型”，“volume”：《第442卷》，“auther”：“Hyland”，“年份”：“1990”}10.1016\/0304-3975（93）90082-5_BIB10“，“doi-asserted-by”：“crossref”，“first page”：“323”，“doi”：“10.1016\/0304-2975（93。计算。科学。“}，{”issue“：”2“，”key“：”10.1016\/0304-3975（93）90082-5_BIB11“，”doi-asserted-by“：”crossref“，”doi“：”101017\/S0960129500001298“，”article-title“：”构造性自然演绎及其\u2018\u03c9-set\u2019解释“，”volume“1”，“author”：“Longo”，“year”：“1991”，“journal-title”：“Math.Structures Computes.Sci.”}，”{“key“：”10.1016\/0304-3975（93）90082-5_BIB12“，”article-title“：”参数作为子类型“，”author“：”Ma“，”year“：”1992“，”journal-title”：“Proc。美国机械工程师协会第19届会议。关于程序设计语言的原理“}，{“key”：“10.1016\/0304-3975（93）90082-5_BIB13”，“series-title”：“程序设计语义学的数学基础”，“article-title”：《类型、抽象和参数多态性》，第2部分，“author”：“Ma”，“year”：“1991”}程序。第五国际。交响乐团。《函数编程语言与计算机体系结构》，“article-title”：“参数证明理论概述”，“author”：“Mairson”，“year”：“1991”}，{“key”：“10.1016\/0304-3975（93）90082-5_BIB15”，“series-title”：《函数编程的逻辑基础》，“first page”：《273》，“article-title”：“多态lambda演算中的空类型”，“author“：”Meyer“，”year“：”1990“}，{”key“：”10.1016\/0304-3975（93）90082-5_BIB16“，”series-title“：“标准ML的定义”，“author”：“Milner”，“year”：“1989”}，“key”：“10.1016\/0304-2975（93/0304-3975（93）90082-5_BIB18“，”系列标题“：”程序。内部。类型化Lambda Calculi与应用会议”，“文章标题”：“参数多态性的逻辑”，“作者”：“Plotkin”，“年份”：“1993”}，{“键”：“10.1016\/0304-3975（93）90082-5_BIB19”，“作家”：“普洛金”，“年”：“93”，“日记标题”：”子类型与参数“}，“键”:“10.1016 \/0304-2975（93）900 82-5_BAB20”，“序列标题”：《信息处理83》，“”article-title“：“类型、抽象和参数多态性”，“author”：“Reynolds”，“year”：“1983”}，{“key”：“10.1016\/0304-3975（93）90082-5_BIB21”，“series-title”：“Internat课堂讲稿”，“article-title”：《编程语言的基本概念》，“auther”：“Strachey”，“年份”：“1967”}series-title“：”程序。第四国际。交响乐团。关于函数编程语言和计算机体系结构”，“文章标题”：“免费定理！“，”author“：”Wadler“，”year“：”1989“｝，｛”key“：”10.1016/0304-3975（93）90082-5_BIB23“，”非结构化“：”P.Wadler，递归类型免费！手稿。“｝]，”容器标题“：[”理论计算机科学“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:00304397593900825？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397593900825？httpAccept=text\/plain“，”content-type”：“text\/plan”，“content-versiion”：“vor”，“intended-application”：“text-miniing”}]，“deposed”：{“date-parts”：[2019,4,13]]，“日期时间“：”2019-04-13T04:25:24Z“，”timestamp“：1555129524000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397593900825”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：“：{”date-parts“：[[1993,12]]}}，”alternative-id“：[”0304397593900825“]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（93）90082-5”，“关系”：{}，“ISSN”：[“0304-3975”]，“ISSN-type”：[{“值”：“0304-975”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[[1993,12]]}}}}