{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T03:25:24Z”，“时间戳”：1648869924112}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540404934”，“类型”：“打印”}，{“值”：“9783540450610”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/3-540-45061-0_20“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T11:54:04 Z“，”时间戳“：1184586844000}，”页面“：”224-238“，”源“：“Crossref”，“is-referenced-by-count”：6，“title”：[“Mixin Modules and Computational Effects”]，“prefix”：“10.1007”，《author》：[{“given”：“Davide”，“family”：“Ancona”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Sonia”，附加“，”从属关系“：[]}，{“given”：“Elena”，“family”：“Zucca”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2003,6,18]]}，“reference”：[{“key”：”20_CR1“，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：”publisher“，”first page“62”，“doi”：“10.1007\/10704567_4”，“volumeme”蒂尔”：“声明式编程的原理与实践，1999年”，“作者”：“D.Ancona”，“年份”：“1999年”、“非结构化”：“D.Ancona和E.Zucca。模块系统的原始演算。G.Nadathur，编辑，《声明式编程原理与实践》，1999年，《计算机科学讲义》第1702页，第62\u201379页。Springer Verlag，1999.“}，{”issue“：”2“，”key“：”20_CR2“，”doi-asserted-by“：”publisher“，”first page“：“91”，“doi”：“10.1017\/S095679680104257”，“volume”：“12”，“author”：“D.Ancona”，“year”：“2002”，“unstructured”：“D.Ancona and E.Zucca.模块系统的微积分。函数编程杂志，12（2）：91\u20131322002年3月。”，“，”Journal-title“：”函数式编程杂志“}，{“key”：“20_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Bracha和W.Cook.基于Mixin的继承。美国计算机学会面向对象编程、系统、语言和应用联合会和欧洲面向对象编程会议，1990年10月。”，“doi”：“10.1145\/97982”}，{“key”：“20_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“G.Boudol.对象的递归记录语义被重新访问。出现在函数编程杂志，2002年。”，“doi”：“10.1007\/3-540-45309-1_18”}，{”key“：”20_CR5“，”unstructure“：”G。布拉查。编程语言JIGSAW：混合、模块化和多重继承。计算机系博士论文。科学。，犹他大学，1992年。“}，{”key“：”20_CR6“，”unstructured“：”W.R.Cook.A继承的指称语义。布朗大学计算机科学系博士论文，1989年。“{”key“：“20_CR7”，“doi-asserted-by”：“crossref”，“unstructure”：“D.Duggan和C.Sourelis.Mixin模块。摘自1996年5月费城函数编程国际会议。ACM出版社。“，”DOI“：”10.1145\/232627.232654“}，{“key”：“20_CR8”，“DOI-asserted-by”：“crossref”，“unstructured”：“L.Erk\u00f6k和J.Launchbury.递归单体绑定。在2000年《函数编程国际公约》第174\u2013185页，2000年。”，“DOI”：“10.1145\/35766.351257”}，“key“：”20_CR9“，”DOI-assert-by“：”crossref.“，”非结构化“：”L.Erk u00f6k和J。朗奇伯里。Haskell的递归do。在Haskell Workshop\u2019 02，第29\u201337页，2002年。“，”DOI“：”10.1145\/581693“}，”key“：”20_CR10“，”unstructured“：”L.Erk\u00f6k，J.Launchbury和A.Moran。fixIO的语义。在FICS\u201901，2001年。“}1\/ita:2002008”，“卷”：“36”，“作者”：“L。Erk\u00f6k”，“年份”：“2002年”，“非结构化”：“L.Erk\u 00f6K，J.Launchbury，and A.Moran。一元输入/输出的值递归语义。理论信息学与应用杂志，36（2）：155\u20131802002。“，”Journal-title“：”Journal of Theoryal Informatics and Applications“}，{”key“：”20_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”R.B.Findler和M.Flatt。带单元和混合的模块化面向对象编程。国际。1998年9月，《函数编程》Conf.on Functional Programming 1998》，“DOI”：“10.1145\/289423.289432”}，{“key”：“20_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Flatt和M.Felleisen.Units:Cool modules for HOT languages.In PLDI\u201998-ACM Conf.on-Programming Language Design and Implementation，pages 236\u20132481998.”，“DOI:”10.1145\/277552.277730“｝，｛“issue”：“3”，“key”：“20_CR14”，“doi asserted by”：“publisher”，“首页”：“181”，“doi”：“10.1007\/BF012111554”，“volume”：“5”，“author”：“A.V.Hense”，“year”：“1993”，“nonstructured”：“A.V.Hense。具有显式包装的面向对象编程语言的表示语义。计算的形式方面，5（3）：181\u20132071993.”，“期刊标题”：“计算的形式方面”}，｛“键”：“20_CR15”，“doi断言”：“crossref”，“非结构化”：“R.Harper和M.Lillibridge。一种具有共享的高阶模块的类型论方法。在POPL\u2019 94:第21届ACM SIGPLAN-SIGACT编程语言原理研讨会的会议记录中，第123页\u2013137，1994。“，”DOI“：”10.1145\/174675.176927“}，{“key”：“20_CR16”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“publisher”，“first page”：”6“，“DOI”：“10.1007\/3-540-45927-8_2”，“volume-title”：”ESOP 2002-Programming Languages and Systems”，“author”（作者）：“T.Hirschowitz”，“year”（年份）：“2002”，“unstructured”（非结构化）：“T.Hirshowitz and X.Leroy。在按调用值设置中混合模块。ESOP 2002-Programming Languages and Systems编辑D.Le M\u00e9tayer在《计算机科学讲义》第6\u201320页第2305号。Springer Verlag，2002.“}，{”key“：”20_CR17“，”doi-asserted-by“：”crossref“，”unstructured“：”X.Leroy.显式类型、模块和单独编译.第21届ACM程序设计语言原理研讨会，第109\u2013122页。ACM出版社，1994年。“，”DOI“：”10.1145\/174675.176926“}，{”key“：”20_CR18“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”publisher“，”first page“：“358”，“DOI”：“10.1007\/3-540-36576-1_23”，“volume-title”：“软件科学和计算结构基础-FOSSACS 2003”，“author”：“E.Moggi”，“year”：“2003”，”unstructured“：”E.Moggi和S。法戈齐。一种单一的多阶段元语言。A.D.Gordon，编辑，软件科学和计算结构基础-FOSSACS 2003，LNCS第2620卷，第358\u2013374页。Springer Verlag，2003.“}，{”key“：”20_CR19“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：“260”，”doi“：”10.1007\/3-540-46425-5_17“，”volume-title“：“ESOP 2000-编程语言和系统”，“author”：“E.Machkasova”，“year”：“2000”，“unstructured”：“E.Machkascova and F.A.”。Turbak公司。用于链接时间编译的微积分。In G.Smolka，编辑，《ESOP 2000-编程语言和系统》，第1782页，《计算机科学讲义》，第260\u2013274页，柏林，2000年。斯普林格·弗拉格。“}，{”key“：”20_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”U.S.Reddy.Objects as closures:面向对象语言的抽象语义。在Lisp和函数式编程的ACM会议上，第289\u201329721988页。“，”doi“：”10.1145\/62678.62721“10.1006\/inco.1994.1093“，”卷“：”115“，”作者“：”A.K“，”年份“：”1994“，”非结构化“：”安德鲁·赖特和马蒂亚斯·费尔莱森。一种类型正确性的句法方法。信息与计算，115（1）：38\u2013941994。”，“新闻标题”：“信息与计算”}，{“key”：“20_CR22”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“publisher”，“first page”：”412“，“doi”：“10.1007 \/3-540-46425-5_27”，“volume-title”：”ESOP 2000-编程语言与系统“，”作者：“J.B.Wells”，“年份”：“2000”，“非结构化”：“J.B.Wells和R.Vestergaard。与一级基本模块链接的等式推理。In G.Smolka，编辑，《ESOP 2000-编程语言和系统》，《计算机科学讲义》第1782页，第412_u2013428页，柏林，2000年。斯普林格·弗拉格。“}]，”container-title“：[”Automata，Languages and Programming“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-45061-0_20“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”deposed“：{”date-parts“：[2019,4,30]]，”date-time“：”2019-04-30T23:14:46Z“，”timestamp“：1556666086000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-45061-0_20”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[2003]]}、“ISBN”：[“9783540404934”，“978354506610”]，“references-count”：22，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-45061-0_20”，“关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”type“:”print“}]，”主题“：[]，”published“：{”date-parts“：[[2003]]}}