{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T23:16:44Z”，“时间戳”：1693869404840}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540677154”，“类型”：“打印”}，{“值”：“9783540450221”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2000]]}，”DOI“：”10.1007\/3-540-45022-x_4“，”type“：”book-chipter“，”created“：”{“date-part”：[2007,13]]，“date-time”：“2007-11-13T23:57:25Z”，“时间戳”：1194998245000}，“页面”：“25-36”，“源”：“Crossref”，“is-referenced-by-count”：17，“title”：[“Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming”]，“prefix”：“10.1007”，”author“：[{”given“：”Cristiano“，”family“：”Calcagno“，”sequence“：”first“，“affiliation”：[]}，{“given”：“Eugenio”，“family”：“Moggi”，“sequence”：“additional”，“afliation”塔哈“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,2,18]]}，“reference”：[{“key”：“4_CR1”，“unstructured”：“Zine El-Abidine Benaissa，Eugenio Moggi，Walid Taha，and Tim Sheard。逻辑模式和多阶段编程。联邦逻辑会议（FLoC）直觉模态逻辑与应用卫星研讨会（IMLA），1999年7月。“}，{“key”：“4_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Dominique Clement，Joelle Despeyroux，Thierry Despeyroux，and Gilles Kahn。一种简单的应用语言：Mini-ML。《1986年ACM Lisp和函数编程会议记录》，第13\u201327页。ACM，ACM，1986年8月。“，“DOI”：“10.1145\/319838.319847”}，{“key”：“4_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Rowan Davies.绑定时间分析的时间逻辑方法。第11届IEEE计算机科学逻辑研讨会论文集，第184\u2013195页，新不伦瑞克，1996年7月。IEEE计算机学会出版社。“，”DOI“：”10.1109\/LICS.1996.561317“}，{“key”：“4_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Rowan Davies和Frank Pfenning。阶段计算的模态分析。在第23届ACM编程语言原理研讨会（POPL\u201996）上，第258\u2013270页，圣彼得堡海滩，1996年1月。”，“DOI”：“10.1145\/237721.237788”}key“：”4_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Carsten K.Gomard和Neil D.Jones。非类型lambda演算的部分求值器。函数编程杂志，1（1）：21\u201369，1991年1月。“，”DOI“：”10.1017\/S0956796800000058“}，{”key“：”4_CR6“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，”first page“：“，”年份“：”1996“，”非结构化“：”Robert Gl\u00fcck和Jesper Jorgensen。用于多级专业化的快速绑定时间分析。Dines Bjorner、Manfred Broy和Igor V.Pottosin主编，《系统信息学观点》，《计算机科学讲义》第1181卷，第261\u2013272页。Springer-Verlag，1996.“}，{”issue“：”5“，”key“：”4_CR7“，”doi-asserted-by“：”crossref“，”first-page“：”507“，“doi”：“10.1017\/S0960129597002405”，“volume”：“7”，“author”：“John Hatcliff”，“year”：“1997”，“unstructured”：“约翰·哈特克利夫和奥利维尔·丹维。部分评估的计算形式化。计算机科学中的数学结构，7（5）：507\u20135411997年10月。”，“journal-title”：“计算机科学中的数学结构”}，{“key”：“4_CR8”，“unstructured”：“Neil D.Jones，Carsten K Gomard，and Peter Sestoft.Partial Evaluation and Automatic Program Generation。Prentice-Hall，1993。”}、{“密钥”：“4-CR9”，“非结构化”：“MetaML主页，2000。在线提供源代码和文档，网址为http://www.cse.ogi.edu\/PacSoft\/projects\/metaml\/index.html。“｝，｛”键“：”4_CR10“，”系列标题“：”Lect Notes Comput Sci“，”卷标题“：”FoSSaCS\u2019 98“，”作者“：”E.Moggi“，”年份“：”1998“，”非结构化“：”Eugenio Moggi.函数类别和两级语言。在FoSSaCS\u2019 98中，《计算机科学讲义》第1378卷。Springer Verlag，1998。“｝，｛”键“：”4_CR11“，”系列标题“：”Lect Notes Compute Sci“，”doi-asserted-by“：”crossref“，”first page“：”193“，“doi”：“10.1007\/3-540-49099-X13”，“volume-title”：“欧洲编程研讨会（ESOP）”，“author”：“E.Moggi”，“year”：“1999”，“unstructured”：“Eugenio Moggi，Walid Taha，Zine El-Abidine Benaissa，and Tim Sheard。理想化的MetaML：更简单，更具表现力。欧洲程序设计研讨会（ESOP），计算机科学讲义第1576卷，第193\u2013207页。Springer-Verlag，1999.“}，{”key“：”4_CR12“，”doi-asserted-by“：”crossref“，”unstructured“：”Robin Milner，Mads Tofte，Robert Harper，and David MacQueen.The Definition of Standard ML（Revised）.MIT Press，1997.“，”doi“：”10.7551\/mitpress\/2319.001.0001“}5（75）90017-1“，”卷“：”1“，”作者“：”G.D.Plotkin“，”年份“：”1975“，”非结构化“：”Gordon D.Plotkin“。Call-by-name、Call-by-value和lambda-calculus。理论计算机科学，1:125\u20131591975。“，“journal-title”：“理论计算机科学”}，{“key”：“4_CR14”，“unstructured”：“Walid Taha。多级编程：理论与应用。俄勒冈州理工研究生院博士论文，1999年7月。”}瓦利德·塔哈。非类型CBN多阶段计算的降噪语义。或者，MetaML的理论是非平凡的。在2000年1月于波士顿举行的ACM部分评估和基于语义的程序操作研讨会论文集中，“，”DOI“：”10.1145 \/328691.328697“}，{“key”：“4_CR16”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“publisher”，“first page”：”918“，“DOI”：“10.1007 \/BFb0055113”，“volume-title”：”第25届自动机、语言和程序设计国际学术讨论会”，“作者”：“W.Taha”，“年份”：“1998”，“非结构化”：“Walid Taha，Zine El Abidine Benaissa和Tim Sheard。多阶段编程：公理化和类型安全。第25届国际自动化、语言和编程学术讨论会，计算机科学讲义第1443卷，第918\u2013929页，奥尔堡，1998年7月。“}，{“key”：“4_CR17”，“unstructured”：“彼得·蒂曼（Peter Thiemann）和德克·杜沙特（Dirk Dussart）。带状态的高阶语言的部分求值。网址：http://www.informatik.unifreiburg.de\/~thiemann\/papers\/index.html。“}，{”key“：”4_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Walid Taha和Tim Sheard。带显式注释的多级编程。《ACM-SIGPLAN部分评估和基于语义的程序操作研讨会论文集》，PEPM\u201997，阿姆斯特丹，第203\u2013217页。ACM，1997.“，”DOI“：”10.1145\/258993.259019“}，{“key”：“4_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Walid Taha和Tim Sheard。MetaML:带显式注释的多级编程。理论计算机科学，248（1\u20132），2000。”，“DOI”：“10.1016\/S0304-3975（00）00053-0”}]，“container-title”：[“自动化，语言和编程”，“计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-45022-X_4“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,8,27]]，”date-time“：“2021-08-27T15:23:10Z”，“timestamp”：1630077 790000}，“score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-45022-X_4”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2000]]}，“ISBN”：[“9783540677154”，“97835450221”]，”references-count“：19，”URL“：”http://\/dx.doi.org\/10007\/3-502-xx _4“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”键入“：”print“}]，“subject”：[]，“published”：{“date-parts”：[[2000]]}}