{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T23:06:23Z”，“时间戳”：1725663983588}，“出版商位置”：“柏林，海德堡”，“参考计数”：35，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“979 83540578871“}，{”类型“：“electronic”，“value”：“9783540483830”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57887-0_102“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T08:37:41 Z“，”时间戳“：1330245461000}，”页面“：”321-346“，“source”：“Crossref”，“is-referenced-by-count”：21，“title”：[“使用ML-ART编程对象是对具有抽象和记录类型的ML的扩展”]，“prefix”：“10.1007”，”author“：[{”given“：”Didier“，”family“：”R\u00e9my“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,31]]}，“reference”：[{key“16 _CR1“，“非结构化”：“Roberto M.Amadio和Luca Cardelli。递归类型的子类型。第十八届ACM编程语言原理研讨会论文集，第104页\u2013118，佛罗里达州奥兰多，1991年1月。另见1990年8月第62号DEC系统研究中心研究报告。“}，{“key”：“16_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Martin Abadi和Luca Cardelli。原始对象理论。1994年4月，在计算机软件理论方面国际研讨会上。”，“doi”：“10.1007\/3-540-57887-0_101”}，}doi-asserted-by“：”crossref“，”unstructured“：”Alexander Aiken。类型包含约束和类型推断。函数编程语言和计算机体系结构会议，第31页\u201341。ACM出版社，1993年。“，”DOI“：”10.1145\/165180.165188“}，{“key”：“16_CR4”，“unstructured”：“Bernard Berthomieu.使用ML框架中的行为进行编程，lcs的语法和语义。研究报告93-133，LAAS-CNRS，7，Avenue du Colonnel Roche，31077 Toulouse，France，1993年3月。”}金·布鲁斯（Kim B.Bruce）。静态类型面向对象编程语言中的安全类型检查。第二十届ACM编程语言原理研讨会论文集，1993年1月。”，“DOI”：“10.1145”，{“key”：“16_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luca Cardelli。多重继承的语义。《数据类型的语义》，《计算机科学讲义》第173卷，第51页\u201368页。斯普林格·弗拉格，1984年。《信息与计算》，1988年。“，”DOI“：”10.1016\/0890-5401（88）90007-7“}，{”volume-title“：”Th\u00e8se de doctorat“，”year“：”1993“，”author“：”L.Chillan“，”key“：”16_CR7“，”unstructured“：”幸运奇兰。Une extension de ML avec des aspects orient\u00e9s对象。1993年，法国巴黎朱西奥广场巴黎大学第七分校博士学位。即将到来。“}，{”key“：”16_CR8“，”doi-asserted-by“：”crossref“，”unstructured“：”Luca Cardelli和John C.Mitchell.记录操作.第五届编程语义数学基础国际会议，1989年.“，”doi“：”10.1007\/BFb0018345“}”，{“key”：“16_CR9”，“doi-assert-by”：“crossref.”，“unstructure”：“”罗伯托·迪·科斯莫。在类型分配框架中确定类型同构。函数编程杂志，1992年。出现在ML特刊上。“，”DOI“：”10.1145\/143165.143208“}，{“volume-title”：“Tesi di dottorato”，“year”：“1993”，“author”：“R.Cosmo di”，“key”：“16_CR10”，“unstructured”：“Roberto di Cosmo.类型同构。Tesi di-dotorato，di Informatica，University \u00e1 di Pisa，40，Corso Italia-56100 Pisa Italy，1993年1月。”}，}“key“：”16_CR11“，“非结构化”：“卡尔·冈特、迪迪埃·鲁00e9my和约翰·里克。带有prompt、callcc和state的语法类型健全性。手稿，1993年。“}，{”key“：”16_CR12“，”unstructured“：”Andreas V.Hense.基于指称语义学的O’small解释器。技术报告A 07\/91，萨尔兰德斯大学，Fachbereich 14，1991年。“”}，“key”：“16_CR13”，“doi-asserted-by”：“crossref”，“unstructure”：“Andreas V。亨斯。带有状态的面向对象编程语言的包装器语义。计算机科学的理论方面，计算机科学课堂讲稿（526），1991年9月。“，”DOI“：”10.1007\/3-540-54415-1_64“}，{”key“：”16_CR14“，”unstructured“：”Robert Harper，Robin Milner，and Mads Tofte.The definition of Standard ML.The MIT Press，1991。“}”，{“volume-title”：“Technical Report CMU-CS-90-102”，“year”：“1990”，“author”：“R.W。Harper”，“key”：“16_CR15”，“unstructured”：“Robert W.Harper和Benjamin C.Pierce。不包含的可扩展记录。技术报告CMU-CS-90-102，卡内基梅隆大学，匹兹堡，宾夕法尼亚州，1990年2月G\u00e9rard Huet公司。R\u00e9解d'\u00e 9方程dans les langages d'ordre 1,2。。。，\u03c9.Th\u00e8se de doctorat d’\u00e 9tat，巴黎大学，1976年7月。“}，{”key“：”16_CR18“，”doi-asserted-by“：”crossref“，”first page“：“198”，“doi”：“10.1145\/62678.62702”，“volume-title”：“ACM Lisp和函数编程会议记录”，“author”：“L.A.Jategaonkar”，“year”：“1988”，“unstructured”：“Lalita A.Jategaonkar和John C。米切尔。带有扩展模式匹配和子类型的ML（初步版本）。《美国计算机学会Lisp与函数编程会议论文集》，第198\u2013211页，犹他州雪鸟，1988年7月作者：“X.Leroy”，“key”：“16_CR20”，“unstructured”：“Xavier Leroy和Michel Mauny。凸轮灯系统，版本0.5。文档和用户指南。Logiciel 3，INRIA-Rocquencourt，BP 105，F-78 153 Le Chesnay Cedex，1992年。“}，{“key”：“16_CR21”，“unstructured”：“Konstantin L\u00e4ufer和Martin Odersky。具有一级抽象类型的ML扩展。《ACM SIGPLAN ML及其应用研讨会论文集》，1992年John C.Mitchell、Furio Honsell和Kathleen Fisher。对象和方法专门化的lambda演算。1993年IEEE计算机科学逻辑研讨会，1993年6月。一种高效的统一算法。《ACM编程语言和系统事务》，4（2）：258\u20132821982。“，”journal-title“：”《ACM程序语言与系统事务》}，{“key”：“16_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Atsushi Ohori和Peter Buneman。数据库语言中的类型推断。在ACM LISP和函数编程会议上，第174\u20131831988页。皮尔斯。可变对象。未发表注释，1993年6月。“}，{“key”：“16_CR27”，“doi-asserted-by”：“crossref”，“unstructured”：“Benjamin C.Pierce和David N.Turner。无递归类型的面向对象编程。第二十届ACM编程语言原理研讨会论文集，1993年1月。”，“doi”：“10.1145 \/158511.158653”}，}“volume-title”：“研究报告1766”，“年份”：“1992”，“作者”：“D.R\u00e9年”，“密钥”：“16_CR28”，“非结构化”：“Didier R\u00e9年”。用分类方程理论扩展ML型系统。《1766年研究报告》，英国国家信息研究所，BP 105，F-78 153 Le Chesnay Cedex，1992.“}，{“键”：“16_CR29”，“第一页”：“66”，“卷标题”：“投影ML”，“作者”：“D.R\u00e9my”，“年份”：“1992”，“非结构化”：“Didier R\u00e9my。投影ML。1992年ACM Lisp和函数编程会议，第66\u201375页，纽约，1992年。ACM压力。“｝，｛”卷标题“：”1869年研究报告“，”年份“：”1993年“，”作者“：”D.R\u00e9年“，”键“：”16_CR30“，”非结构化“：”Didier R\u00e9年“。句法理论和记录术语代数。1869年研究报告，国家信息研究所，BP 105，F-78 153 Le Chesnay Cedex，1993。”｝，｛”键“：”16_CR31“，”非结构化“：”Didier R\u00e9岁。ML自然扩展中记录的类型推断。在Carl a.Gunter和John C.Mitchell，编辑，面向对象编程的理论方面。类型、语义和语言设计。麻省理工学院出版社，1993年。出现。}，{“key”：“16_CR32”，“unstructured”：“Didier R\u00e9my.免费输入记录串联。在Carl A.Gunter和John C.Mitchell编辑的《面向对象编程的理论方面.类型，语义和语言设计》中。麻省理工出版社，1993年。出现。“}，{”key“：”16_CR33“，”first page“：“207”，”volume-title“：”Complete type inference for simple objects“，”author“：”M.Wand“，”year“：”1987“，”unstructured“：”Mitchell Wand。Complete types inference。IEEE计算机学会出版社。“}，{”key“：”16_CR34“，”unstructured“：”Andrew K.Wright和Matthias Felleisen。类型健全性的语法方法。技术报告TR91-160，莱斯大学，1991年。“}”，{“key”：“16_CR35”，“unstructure”：“Andrew K.Wright。没有命令类型的命令语言的多态性。技术报告93-200，莱斯University，1993年2月。”}]，“container-title“：[“计算机科学课堂讲稿”，“计算机软件的理论方面”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-57887-0_102.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,12,31]]，“date-time“：”2021-12-31T00:51:32Z“，”timestamp“：1640911892000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-57887-0_102”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[1994]}，‘ISBN’：[”9783540578871“，”978354483830“]，”references-count“：35，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-57887-0_102”，“关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”电子“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[[1994]}}}