{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,1,31]]，“日期时间”：“2024-01-31T18:31:15Z”，“时间戳”：1706725875089}，“引用-计数”：18，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：“日期部分“：[[1991,7,1]]，”日期-时间“：”199 1-07-01T00:00:00Z“，”时间戳“：678326400000}，“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”：8052，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Computation”]，“published-print”：{“date-parts”：[[1991,7]]}，”DOI“：”10.1016\/0890-5401（91）90050-c“，”type“：”journal-article“，”created“：{”date-part“：[[2004,12,16]]，”date-time“：”2004-12-16T20:34:26Z“，”timestamp“：1103229266000}“page”：“1-15”，“source”：“Crossref”，“is-referenced-by-count”：43，“title”：[“记录串联和多重继承的类型推断”]，“prefix”：“10.1016”，“volume”：“93”，“author”：[{“给定”：“Mitchell”，“family”：“Wand”，“sequence”：“first”，“affiliation”：[]}]，“member”：“78”，“reference”：[[{”key“10.1016\/0890-5401（91）90050-C_BIB1”，“首页”：“1”，“文章标题”：“基本多态性类型检查”，“卷”：“2”，“作者”：“Cardelli”，“年份”：“1985”}，{“关键字”：“10.1016\/0890-5401（91）90050-C_BIB2”，“doi-asserted-by”：“crossref”，《首页》：“138”，”doi“：”10.1016\/0890-5401（88）90007-7“，”article-title“：”多重继承的语义“，卷“：”76“，”作者“：”Cardelli“，”年份“：”1988“，“journal-title”：“信息和公司。”}，{“key”：“10.1016\/0890-5401（91）90050-C_BIB3”，“series-title”：“Proc.1986 ACM Symp.on Lisp and Functional Programming”，“first-page”：“13”，“article-title”：”简单应用语言：Mini-ML“，”author“：”Cl\u00e9ment“，”year“：”1986“}，{”key“：”10.1016\/0890-5401（91）90005-C_BIB4“，”doi-asserted-by“：”crossref“，“first page”：“471”，“doi”：“10.1145\/6041.6042”，“article-title”：“关于理解类型、数据抽象和多态性”，“volume”：“17”，“author”：“Cardelli”，“year”：“1985”，“日记标题”：“Compute.Surveys”}，{“key”：”10.1016\/0890-5401（91）90050-C_BIB5“，”article-title“：”继承的指称语义“，”author“：”Cook“，”year“：”1989“}”，{”key“：“10.1016\/0890-5401”（91）90050-C_BIB6“，“首页”：“29”，“文章标题”：“组合逻辑中对象的主要类型模式”，“卷”：“146”，“作者”：“欣德利”，“年份”：“1969”，“期刊标题”：。阿默尔。数学。Soc.“}，{”key“：”10.1016\/0890-5401（91）90050-C_BIB7“，”series-title“：”Proc.1988 ACM Conf.on Lisp and Functional Programming“，”first page“：“198”，”article-title“：“ML with extended pattern matching and subjections”，“author”：“Jategoankar”，“year”：“1988”}，“key”：“10.1016\/0890-5401（91）900 50-C_BIB8”，“series-ttle”：“Conf.Rec.15 Ann。ACM交响乐团。《程序设计语言原理》，“首页”：“80”，“文章标题”：“Smalltalk-80中的继承：指称定义”，“作者”：“Kamin”，“年份”：“1988”}，{“密钥”：“10.1016\/0890-5401（91）90050-C_BIB9”，“series-title”：“类型电子邮件列表”，“author”：“Meyer”，“年”：“1998”}by“：”crossref”，“首页”：“348”，“DOI”：“10.1016/0022-0000（78）90014-4”，“文章标题”：“编程中的类型多态性理论”，“卷”：“17”，“作者”：“米尔纳”，“年份”：“1978”，“期刊标题”：“J.Comput。系统科学。“}，{”key“：”10.1016\/0890-5401（91）90050-C_BIB11“，”series-title“：”Conf.Rec.11th Ann.ACM Symp.on Principles of Programming Languages“，”first page“：“175”，”article-title“：“强制和类型推断（summary）”，“author”：“Mitchell”，“year”：“1984”}，”{程序。SIGPLAN’89编程语言设计与实现大会”，“首页”：“218”，“文章标题”：“具有一级多态值的类型重建”，“作者”：“O’Toole”，“年份”：“1989”}，{“关键”：“10.1016\/0890-5401（91）90050-C_BIB13”，“系列标题”：《LISP与函数式编程的ACM汇编》，“首版”：“289”，“论文标题”：对象作为闭包：面向对象语言的抽象语义”，“author”：“Reddy”，“year”：“1988”}，{“key”：“10.1016\/0890-5401（91）90050-C_BIB14”，“series-title”：“Conf.Rec.16th Ann.ACM Symp.on Principles of Programming languages”，“first-page”：“77”，“article-title”：R\u00e9my“，”年份“：”1989“}，{“key”：“10.1016\/0890-5401（91）90050-C_BIB15”，“series-title”：“Conf.Rec.15 Ann.ACM Symp.on Principles of Programming Languages”，“first page”：”88“，”article-title“：”带子类型的类型推断“，”author“：”Stansifer“，“year”：“1988”}，”key“：”10.1016\/0890-5401（91）90000-C_BIB16“，”series-ttle“”：“困惑。记录第12届ACM交响曲。程序原则。Lang.“，”first page“：”1“，”article-title“：”Embedding type structure in semantics“，”author“：”Wand“，”year“：”1985“}，{“key”：“10.1016\/0890-5401（91）90050-C_BIB17”，“series-title”：“Proc.2nd IEEE Symposium on Logic in Computer Science”，“first page:”37“，”article-title“：”Complete type inference for simple objects“10.1016\/0890-5401（91）90050-C_BIB18“，“article-title”：“具有实例变量和继承性的对象的类型推断”，“author”：“Wand”，“year”：“1989”，“journal-title“：”东北大学计算机科学学院技术报告NU-CCS-89-2“}]，“container-titleURL“：”https:\/\/api.elsevier.com/content\/article\/PII:0890540190050C？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:089054019190050C？httpAccept_text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended_application”：“text-mining”}]，“存放”：{“日期段”：[[2019,1,31]]，“date-time“：”2019-01-31T01:25:41Z“，”timestamp“：1548897941000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/089054019190050C”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：published-print“：{“date-parts”：[[1991,7]]}}，”alternative-id“：[”089054019190050C“]，”URL“：”http://\/dx.doi.org\/10.1016\/0890-5401（91）90050-c“，”关系“：{}，”ISSN“：[“0890-5401”]，”ISSN-type“：[{”value“：”0890-5401“，”type“:”print“}]，”subject“：【】，”published“：{”date-parts“：[1991,7]]}}}}