{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T21:11Z”，“时间戳”：1693861871894}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540235804”，“类型”：“打印”}，{“值”：“9783540301752”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30175-2_11“，”type“：”book-capter“，”created“：”{“date-part”：[2010,9,23]]，“date-time”：“2010-09-23T19:34:58Z“，”时间戳“：1285270498000}，”页面“：”206-224“，“source”：“Crossref”，“is-referenced-by-count”：11，“title”：[“名称管理的一个新微积分”]，“prefix”：“10.1007”，”author“：[{”given“：”Davide“，”family“：”Ancona“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Eugenio“，”家族“：”Moggi“，”序列“：”additional“，”filiation“，”键“：”11_CR1“，“doi-asserted-by”：“publisher”，“first page”：“95”，“doi”：“10.1016\/S0168-0072（01）00104-X”，“volume”：”117“，“author”：“Z.M.Ariola”，“year”：“2002”，“unstructured”：“Ariola，Z.M.，Blom，S.：斜交和lambda演算with letrec.纯逻辑和应用逻辑年鉴\u00a0117（1-3），95\u2013178（2002）”，“journal-title”：“纯逻辑与应用逻辑年鉴”}，{“key”：“11_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”62“，“doi”：“10.1007\/10704567_4”，“volume-title”：《声明性编程的原理与实践》，“author”：“D.Ancona”，“year”：“1999”，“unstructured”：“Ancona，D.，Zucca，E.：模块系统的原始演算。摘自：Nadathur，G.（ed.）PPDP 1999。LNCS，第u00a01702卷，第62\u201379页。Springer，Heidelberg（1999）“}，{”issue“：”2“，”key“：”11_CR3“，”doi-asserted-by“：”crossref“，”first page“：“91”，“doi”：“10.1017\/S095679680104257”，“volume”：“12”，“author”：“D.Ancona”，“year”：“2002”，“unstructured”：“Ancona，D.，Zucca，E.：模块系统演算。J.Funct.Programming\u00a012（2），91\u2013132（2002）；Extended[AZ99]版本“，”新闻标题“：”J.Funct。编程“｝，｛“key”：“11_CR4”，“doi asserted by”：“crossref”，“unstructured”：“Cardelli，L.：程序片段、链接和模块化。In：Conf.Rec.POPL 1997:第24届ACM Symp.Princ.ofProg.Langs.，pp.266\u2013277（1997）”，“doi”：“10.1145\/2263699.263735”｝，｛“key”：“11_CR5”，“首页”：“295”，“卷标题”：“面向对象编程的理论方面：类型、语义和语言设计”，“作者”：“L.Cardelli”，“年份”：“1994年”，“非结构化”：“Cardelli，L.，Mitchell，J.C.：记录操作。收录于：Gunter，C.A.，Mitchell，J.C.（编辑）《面向对象编程的理论方面：类型、语义和语言设计》，第295\u2013350页。麻省理工学院出版社，剑桥（1994）“}，{”issue“：”3“，”key“：”11_CR6“，”doi-asserted-by“：”publisher“，”first page“：“545”，“doi”：“10.1017\/S095679680204598”，“volume”：“13”，“author”：“C.Calcadno”，“year”：“2003”，“unstructured”：“Calcadno，C.，Moggi，E.，Sheard，T.：安全命令MetaML.J.Funct.Programming\u00a013（3），545\u2013571（2003）“，”新闻标题“：”J.Funct。编程“}，{”key“：”11_CR7“，”doi-asserted-by“：”publisher“，”first page“：“184”，”doi“：”10.1109\/LICS.1996.561317“，“volume-title”：“The Symposium on Logic in Computer Science（LICS 1996）”，“author”：“R.Davies”，“year”：“1996”，“unstructured”：“Davies，R.：绑定时间分析的时间逻辑方法。在：计算机科学中的逻辑研讨会（LICS 1996），新不伦瑞克，第184\u2013195页。IEEE Computer Society Press，Los Alamitos（1996）“}，{”issue“：“3”，”key“：“11_CR8”，”doi-asserted-by“：”publisher“，”first page“：”555“，”doi“：”10.1145\/382780.382785“，“volume”：“48”，“author”：“R.Davies”，“year”：“2001”，“unstructured”：“Davies，R.，Pfenning，F.：分段计算的模态分析。ACM\u00a048（3），555\u2013604（2001）“，”journal-title“：“ACM杂志”}，{“key”：“11_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Gabbay，M.J.，Pitts，A.M.：涉及装订器的抽象语法的新方法。摘自：Proc.14th Ann.IEEE Symp.Logic In Compute.Sci.，pp.214\u2013224（1999年7月）”，“doi”：“10.1109\/LICS.1999.782617”}部分求值和自动程序生成”，“作者”：“N.D.Jones”，“年份”：“1993年”，“非结构化”：“Jones，N.D.，Gomard，C.K.，Sestoft，P.：部分求值与自动程序生成。Prentice Hall，Englewood Cliffs（1993）“}，{“key”：“11_CR11”，“series-title”：“Sigplan通知”，“首页”：“36”，“卷时间”：“ACM面向对象编程交响曲：系统、语言和应用1998”，“作者”：“S.Liang”，“年份”：“1998”，”非结构化“：”Liang，S.，Bracha，G.：Java虚拟机中的动态类加载。收录：ACM Symp。《面向对象编程：系统、语言和应用》，1998年，1998年10月。SigplanNotices，vol.\u00a033（10），pp.36\u201344。ACM Press，New York（1998）“}，{”key“：”11_CR12“，”series-title“：”The Java series“，”volume-title“：“The Java Virtual Machine Specification”，“author”：“T.Lindholm”，“year”：“1999”，“unstructured”：“Lindhol姆，T.，Yellin，F.：Java Virtual Mac Specification，2nd edn.The Java series.Addison-Wesley，Reading（1999）“，”edition“：”2“}”，{“key”：“11_CR13”，“series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-36576-1_23”，“volume-title”：“软件科学和计算结构基础”，“author”：“E.Moggi”，“year”：“2003”，“unstructured”：“Moggi，E.，Fagorzi，S.：一元多阶段元语言。收录：Gordon，A.D.（编辑）FOSSACS 2003。LNCS，vol.\u00a02620，Springer，Heidelberg（2003）“}，{“key”：“11_CR14”，“series-title”：“ACM SIGPLAN notices”，“volume-title”：《第七届ACM SIGPLAN国际函数编程会议论文集》（ICFP 2002），“author”：“A.Nanevski”，“year”：“2002”，“unstructured”：“Nanevski，A.：具有名称和必要性的元编程。摘自：2002年10月第七届ACM SIGPLAN函数式编程国际会议记录（ICFP 2002）。ACM SIGPLAN notices，ACM Press，New York（2002）“}，{“key”：“11_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Nanevski，A.，Pfenning，F.：名称和必要性的元程序设计（2003）（已提交）”，“doi”：“10.1145 \/581478.581498”}，}“key:”11_CR16“非结构化”：“俄勒冈州研究生院技术报告。P.O。美国俄勒冈州波特兰市91000号信箱，邮编：97291-1000，网址：ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html2000年，“非结构化”：“Pitts，A.M.，Gabbay，M.J.：使用绑定名称模块重命名编程的元语言。收录：Backhouse，R.，Oliveira，J.N.（编辑）MPC 2000。LNCS，第u00a01837卷，第230\u2013255页。Springer，Heidelberg（2000）“}，{“key”：“11_CR18”，“volume-title”：“面向对象编程的理论方面：类型、语义和语言设计”，“author”：“D.R\u00e9my”，“year”：“1993”，“unstructured”：“R\u100e9my.，D.：ML自然扩展中记录的类型推断。in:Gunter，C.a.，Mitchell，J.C.（eds.）面向对象编程的理论方面：类型、语义和语言设计，麻省理工学院出版社，剑桥（1993）“}，{“key”：“11_CR19”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“2”，“doi”：“10.1007\/3-540-44806-3_2”，“volume-title”：程序生成的语义、应用和实现”，“作者”：“T.Sheard”，“年份”：“2001年”，“非结构化”：“Sheard，T.：元程序设计的成就和研究挑战。收录：Taha，W.（编辑）SAIG 2001。LNCS，第u00a02196卷，第2\u201346页。Springer，Heidelberg（2001）“}，{“key”：“11_CR20”，“volume-title”：“Proc.8th Int\u2019l Conf.Functional Programming”，“author”：“M.R.Shinwell”，“year”：“2003”，“unstructured”：“Shinwell，M.R.，Pitts，A.M.，Gabbaykey“：”11_CR21“，”unstructured“：”Taha，W.：多阶段编程：理论与应用。俄勒冈州科学技术研究生院博士论文，可从[Ore]（1999）“}]获得，“容器-时间”：[“生成性编程和组件工程”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_11.pdf”，“内容-类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,19]]，”date-time“：”2020-11-19T04:45:10Z“，”timestamp“：160576111000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/978-3-540-30175-2_11”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2004]]}，“ISBN”：[“9783540235804“，”9783540301752“]，”references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-30175-2_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：”1611-349“，”type“：”electronic“}]，“subject”：[]，“已发布”：{“日期部分”：[[2004]]}}