{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:42:24Z”，“时间戳”：1725486144390}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540008972“}，{”类型“：“electronic”，“value”：“9783540365761”}]，“license”：[{“start”：{“date-parts”：[[2003,1,1]]，“date-time”：“2003-01-01T00:00:00Z”，“timestamp”：1041379200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2003,1]]：“2003-01-01T00:00:00Z”，“时间戳”：1041379200000}，“内容-版本”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2003]]}，”DOI“：”10.1007\/3-540-36576-1_23“，”type“：”book-capter“，”created“：{”date-part“rts“：[2007,6,11]]，“日期时间”：“2007-06-11T22:42:17Z”，“timestamp”：1181601737000｝，“page”：“358-374”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：7，“title”：[“Monadic多阶段元语言”]，“prefix”：“10.1007”，“author”：[｛“given”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Sonia”，“家族”：“Fagorzi”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2003,2,28]]}，“reference”：[{“key”：“23_CR1”，“doi-asserted-by”：“publisher”，《首页》：“3”，“doi”：“10.1016\/S1571-0661（05）80280-4”，“volument”：“26”，“author”：“Nick Benton”，“year”：“1999”，“unstructured”：“N.Benton和A。肯尼迪。单数、效果和变换。《第三届语义高阶操作技术国际研讨会论文集》（HOOTS-99），《理论计算机科学电子笔记》第26卷，巴黎，1999年9月。爱思唯尔。“，”journal-title“：”理论计算机科学中的电子笔记“}，{”key“：”23_CR2“，”first page“：“81”，”volume-title”：“The chemical abstract machine”，“author”：“G.Berry”，“year”：“1990”，“unstructured”：“G Berry and G.Boudol。The chemical-abstract machine.in Conf.”。录制第17首ACM交响曲。《编程语言原理》，POPL\u201990，美国加利福尼亚州旧金山，1990年1月17日\u201319，第81页\u201394。ACM出版社，纽约，1990年。“}，{“key”：“23_CR3”，“unstructured”：“C.Calcagno，E.Moggi，and T.Sheard。安全命令MetaML的封闭类型。函数编程杂志，即将出版。”}，“{”key“：”23_CR4“，”unstructure“：”R.Davies。绑定时间分析的时间逻辑方法。计算机科学中的逻辑研讨会（LICS\u2019 96），第184\u2013195页，新不伦瑞克，1996年。IEEE计算机学会出版社。“}，{”key“：”23_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Davies and F.Pfenning.阶段计算的模态分析。在编程语言原理研讨会（POPL\u2019 96），第258\u2013270页，圣彼得堡海滩，1996年。“，”doi“：”10.1145\/237721.237788“}”，{“key”：“23_CR6”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by“：”crossref“，”first page“：”151“，“doi”：“10.1007\/3-540-45413-6_15”，“volume-title”：“计算lambda-calculus的评估归一化”，“author”：“A.Filinski”，“year”：“2001”，“unstructured”：“A.Filinski.”。计算lambda-calculus的求值归一化。Samson Abramsky，编辑，Proc。第五届国际键入Lambda演算与应用大会，TLCA\u201901，波兰克拉科夫，20135年5月2日，计算机科学讲稿第2044卷，第151\u2013165页。Springer-Verlag，Berlin，2001.“}，{”key“：”23_CR7“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：“259”，”doi“：”10.1007\/BFb0026825“，”volume-title“：“编程语言：实现、逻辑和程序（PLILP\u201995）”，“author”：“R.Gl\u00fcck”，“year”：“1995”，“unstructured”：“R.Gl\u 00fcck and J。杰根森。高效的程序专业化多级生成扩展。S.D.Swierstra和M.Hermenegildo主编，《编程语言：实现、逻辑和程序》（PLILP\u201995），《计算机科学讲义》第982卷，第259\u2013278页。Springer-Verlag，1995.“}，{”key“：”23_CR8“，”unstructured“：”J.W.Klop.组合还原系统。乌得勒支大学博士论文，1980年。发表于数学中心第129卷。“}，{“key”：“23_CR9”，“unstructured”：“The MetaML Home Page，2000。在线提供源代码和文档，网址为http://www.cse.ogi.edu\/PacSoft\/projects\/metaml\/index.html。“}，{”issue“：”9“，”key“：”23_CR10“，”doi-asserted-by“：”publisher“，”first page“：“206”，”doi“：”10.1145\/583852.581498“，”volume“：”37“，”author“：”Aleksandar Nanevski“，”year“：”2002“，”unstructured“：”A.Nanevski.元编程的名称和必要性.第七届ACM SIGPLAN国际函数编程会议论文集（ICFP-02），ACM SIGPLAN通知，纽约，2002年10月。ACM出版社。”，“期刊标题”：“ACM SIGPLAN Notices”｝，｛“key”：“23_CR11”，“nonstructured”：“M.F.Nielsen和W.Taha。环境分类器。在ACM编程语言原理研讨会论文集上，纽约，2013年1月15日。ACM出版社。}，{“key”：“23_CR12”，“unstructured”：“S.P.Jones，J.Hughes，L.Augustsson，D.Barton等人。Haskell 1.4:一种非限定的纯函数式语言。技术报告YALEU\/DCS\/RR-1106，耶鲁大学计算机科学系，1997年3月。万维网版本，网址为http://\/haskell.cs.yale.edu\/haskell-report。“}，{”key“：”23_CR13“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first-page“：”230“，”doi“：”10.1007\/10722010_15“，”volume-title“：“程序构造的数学”，”author“：”A.M.Pitts“，”year“2000”，”unstructured“：”A.M.Pitt和M.J。加巴伊。一种使用绑定名称模块重命名进行编程的元语言。《程序构造的数学》，《计算机科学讲义》第1837卷，第230\u2013255页。Springer-Verlag，2000.“}，{”key“：”23_CR14“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：“2”，”doi“：”10.1007\/3-540-44806-3_2“，”volume-title“：“元程序设计的成就和研究挑战”，“author”：“T.Sheard”，“year”：“2001”，“unstructured”：“T。谢尔德。元编程的成就和研究挑战。在W.Taha，编辑，Proc。《程序生成（SAIG）的语义、应用和实现国际工作》，LNCS第2196卷，第2\u201346页。Springer-Verlag，2001.“}，{“key”：“23_CR15”，“unstructured”：“W.Taha。多阶段编程：理论与应用。俄勒冈州科学技术研究生院博士论文，1999年。可从ftp:\/\/cse.ogi.edu\/pub\/tech reports\/README.html获取。“}，{”issue“：”1-2“，”key“：”23_CR16“，”doi-asserted-by“：”publisher“，”first page“：“211”，”doi“：”10.1016\/S0304-3975（00）00053-0“，“volume”：“248”，“author”：“Walid Taha”，“year”：“2000”，“unstructured”：“W.Taha and T.Sheard.MetaML:带显式注释的多阶段编程。理论计算机科学，248（1\u20132），2000。”，“，”journal-title“：”理论计算机科学“}，{“key”：“23_CR17”，“unstructured”：“P.Thiemann和D.Dussart.带状态的高阶语言的部分求值，1999。可从http://www.informatik.uni-freiburg.de\/~thiemann\/papers\/index.html“}获取，{“问题”：“1”，“密钥”：“23_CR18”，“doi-asserted-by”：“publisher”，“首页”：“63”，“doi”：“10.1145\/291251.289429”，“卷”：“34”，“作者”：“Philip Wadler”，“年份”：“1999”，“非结构化”：“P。韦德勒。效果和单子的结合。在功能编程国际会议（ICFP\u2019 98）中，ACM SIGPLAN通知第34（1）卷，第63页\u201374页。ACM，1999年6月。“，”journal-title“：”ACM SIGPLAN Notices“}，{“issue”：“1”，“key”：“23_CR19”，“doi-asserted-by”：“publisher”，“first-page”：“38”，“doi”：“10.1006\/inco.1994.1093”，“volume”：”115“，“author”：“A.K.Wright”，“year”：“1994”，“unstructured”：“A.K.Writh and M.Felleisen.A syntaxic approach to type soundness.Information and Computation，115（1）：38\u201394，1994.“，”journal-title“：”Information and Computation“}]，”container-title”：[“计算机科学课堂讲稿”，“软件科学与计算结构基础”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10007\/3-540-36576-1_23”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,8,27]]，”date-time“：”2021-08-27T08:05:06Z“，”timestamp“：1630051506000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/3-540-36576-1_23”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[2003]]}，“ISBN”：[“9783540008972“，”9783540365761“]，”引用次数“：19，”URL“：”http:\/\/dx.doi.org/10.1007\/3-540-36576-1_23“，”relationship“：｛｝，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN type“：[｛”type“：”print“，”value“：”0302-9743“｝，｛”type“：”electronic“，”value“：”1611-3349“｝]，”subject“：[]，”published“：｛”date parts“：[[2003]]｝，”断言“：[｛”值“：”2003年2月28日“，”顺序“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“章节历史”}}，{“value”：“此内容已向所有人开放。”，“name”:“free”，“标签”：“free to read”}]}}