｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,6]]，“date-time”：“2024-09-06T23:06:31Z”，“timestamp”：17256639991596｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：20，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“type”：“print”，“value”：“9783540578871”｝，｛“type”：“electronic”，“value”：“9783540483830”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1994]]}，”DOI“：”10.1007\/3-540-57887-0_103“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T13:37:56 Z“，”时间戳“：1330263476000}，”页面“：”347-364“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“带赋值的lambda演算的类型系统”]，“prefix”：“10.1007”，”author“：[{”given“：”Kung“，”family“：”Chen“，”sequence“：”first“，”affiliation“：[]}，”givent“：”Martin“，”家族“：”Odersky“，”序列“：”additional“，”从属关系“：[]}]，”member“：”297“，”published-on-line“：{”date-pa rts”：[[2005,5,31]]}，“reference”：[{“key”：“17_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Andrew W.Appel和David B.MacQueen.标准ML编译器。《函数编程与计算机体系结构》，第301\u20133241987年8月。LNCS 274.“，”DOI“：”10.1007\/3-540-18317-5_17“}，{“key”：“17_CR2”，“unstructured”：“H.Barendregt.Lambda Calculus:它的语法和语义，《逻辑与数学基础研究》第103卷，North-Holland，1984年。”}，“key“：”17_CR3“，”unstructure“：”路易斯·达马斯。用编程语言进行类型赋值。爱丁堡大学计算机科学系博士论文，1985年4月。“}，{“key”：“17_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“L.Damas和Robin Milner。函数程序的主要类型方案。第九届ACM程序设计语言原理研讨会论文集，第207\u2013212页，1982年1月。”，“doi”：“10.1145\/582153.582176“}，{“key”：“17_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“My Hoang，John Mitchell，and Ramesh Viswanathan。标准ML-NJ弱多态性和命令结构。第八届IEEE计算机科学逻辑研讨会，第15\u201325页，1993年6月。”，“doi”：“10.1109\/LICS.1993.287604”}doi-asserted-by“：”crossref“，”unstructured“：”Xavier Leroy。引用和延续的名称多态性。程序中。第20届ACM交响乐团。关于编程语言原理，第220\u20132311993年1月。“，“DOI”：“10.1145\/158511.158632”}，{“key”：“17_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Xavier Leroy和Pierre Weis。多态类型推断和赋值。第18届ACM编程语言原理交响曲，第291\u20133021991年1月”DOI“：”10.1145\/9953.99622“}，{“key”：“17_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“Harry G.Mairson.程序设计语言中的量词消除和参数多态性。出现在《函数编程杂志》，1993年。”，“DOI”：“10.1017\/S095679600000332”10.1016\/0022-0000（78）90014-4“，”卷“：”17“，”作者“：”R.Milner“，”年份“：”1978“，”非结构化“：”Robin Milner“。编程中的类型多态理论。J.Computer and System Sciences，17:348\u20133751978。“，“journal-title”：“J.Compute and System Sciences”}，{“key”：“17_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Martin Odersky，Dan Rabin，and Paul Hudak。按名称、赋值和lambda演算调用。第20届ACM程序设计语言原理交响曲，1993年1月。”，“DOI“：”10.1145\/158511.158521“}，{“key”：“17_CR11”，“unstructured”：“John C.Reynolds.编程语言forsythe的初步设计。技术报告CMU-CS-88-159，卡内基梅隆大学，1988年6月。”}，}，“key“：”17_CR12“，”DOI-asserted-by“：”crossref“，”unstructure“：”V.Swarup，U.Reddy，and E。爱尔兰。应用语言的作业。J.Hughes，编辑，Proc。第五届ACM功能编程和计算机体系结构会议，第192\u2013214页，1991年8月。LNCS 582.“，”DOI“：”10.1007\/3540543961_10“}，{“key”：“17_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jean-Pierre Talpin和Pierre Jouvelot。多态类型、区域和效果推断。发表于《函数编程杂志》，1993年。“，”DOI“：Jean-Pierre Talpin和Pierre Jouvelot。类型和效果规则。出现在《信息与计算杂志》，1994年。“，”DOI“：”10.1006\/inco.1994.1046“}，{”issue“：”1“，”key“：”17_CR15“，”DOI-asserted-by“：”crossref“，”first page“：“1”，“DOI”：“10.1016\/0890-5401（90）90018-D”，“volume”：“89”，“author”：“M.Tofte”，“year”：“1990”，“unstructured”：“疯子托夫特。多态引用的类型推断。信息与计算，89（1）：1\u2013341990年11月。”，“期刊标题”：“信息与计算”}，｛“键”：“17_CR16”，“doi断言”：“crossref”，“非结构化”：“Philip Wadler。函数式编程的本质。在第19届ACM编程语言原理研讨会论文集，第1\u2013141992年1月。”，“doi”：“10.1145 \/143165.143169“}，{“key”：“17_CR17”，“unstructured”：“Andrew K.Wright和Matthias Felleisen。一种语法方法。技术报告TR91-160，莱斯大学计算机科学系，1992年3月。”}，“key“：”17_CR18“，”doi-asserted-by“：”crossref“，”unstructure“：”斯蒂芬·威克斯（Stephen Weeks）和马蒂亚斯·费尔莱森（Matthias Felleisen）。关于Algol中赋值和过程的正交性。程序中。第20届ACM交响乐团。《程序设计语言原理》，1993年1月。“，”DOI“：”10.1145\/158511.158523“}，{”key“：”17_CR19“，”DOI-asserted-by“：”crossref“，”unstructured“：”Andrew K.Wright.通过效果推断键入引用。见B.Krieg-Br\u00fcckner，编辑，Prod.European Symposium on Programming，第473\u2013491页，1992年2月。LNCS 582.“，”DOI“：”10.1007\/3-540-55253-7_28“}，{“key”：“17_CR20”，“unstructured”：“Andrew K.Wright。没有命令类型的命令语言的多态性。技术报告TR93-200，莱斯大学，1993年2月。”}]，“container-title”：[“计算机科学讲义”，“计算机软件的理论方面”]，“原文标题”：[]，“link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-57887-0_103.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,17]]，”date-time“：“2020-11-17T21:15:25Z”，”timestamp“：1605647725000}，“score”：1，“resource”：{“primary”：{“URL”：“http:\/\/link.springer.com\/10.1007\/3-540-57887-0_103“｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[1994]]｝，“国际标准图书编号”：[“9783540578871”，“9783540488330”]，“引用次数”：20，“URL”：“http:\/\/dx.doi.org/10.1007\/3-540-57887-0_103”，“关系”：｛｝，“国际标准图书编号”：[“0302-9743”，“1611-3349“]，”ISSN type“：[｛”type“：”print“，”value“：”0302-9743“｝，｛”type“：”电子“，”值“：”1611-3349“}]，”主题“：[]，”发布“：{”日期部分“：[[1994]]}}