{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T22:22:00Z”，“时间戳”：1725488520205}，“出版商位置”：“柏林，海德堡”，“参考计数”：14，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 410546“}]，”内容域“：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“DOI”：“10.1007\/3-540-545350-4_9”，“类型”：“图书章节”，“创建的”：｛“日期部分”：[[2007,8,11]，“日期时间”：“2007-08-11T09:45:53Z”，“时间戳”：1186825553000｝，“页面”：“92-107”，“来源”：“Crossref”，“由计数引用”：1，“标题”：[“Multi-stage Imperative Languages:A Conservative Extension Result”]，“prefix”：“10.1007”，“author”：[{“given”：“Cristiano”，“family”：“Calcadno”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Eugenio”，“家族”：“Moggi1”，“序列”：“additional”，“从属关系”：[]，“member”：“297”，“reference”：[}“key”：”“9_CR1”，”非结构化：“Zine El-Abidine Benaissa显式替换演算作为函数式编程语言实现的基础”，INRIA，1997年，博士论文，}，{“key”：“9_CR2”，“unstructured”：“Zine-El-Abdine Beniassa，Eugenio Moggi，Walid Taha，and Tim Sheard。逻辑模式和多级编程。联邦逻辑Con-ference（FLoC）直觉模态逻辑和应用（IMLA）卫星研讨会，1999年7月。“}，{“key”：“9_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Dominique Clement，Joelle Despeyroux，Thierry Despeyroux，Gilles Kahn。一种简单的应用语言：Mini-ML。《1986年ACM Lisp和函数编程会议记录》，第13\u201327页。ACM，ACM，1986年8月。“，”DOI“：”10.1145\/319838.319847“}，{”key“：”9_CR4“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”crossref“，”first page“：“25”，“DOI”：“10.1007\/3-540-45022-X_4”，“volume-title”：“ICALP 2000 Proceedings”，“author”：“C.Calcagno”，“year”：“2000”，“unstructured”：“”克里斯蒂亚诺·卡尔加诺、尤金尼奥·莫吉、瓦利德·塔哈。封闭类型是实现安全强制多级编程的简单方法。《ICALP 2000会议录》，LNCS第1853卷，第25\u201336页，Springer，2000年。“}，{“key”：“9_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Rowan Davies。绑定时间分析的时间逻辑方法。第11届IEEE计算机科学逻辑研讨会会议录，第184\u2013195页，新不伦瑞克，1996年7月。IEEE计算机学会出版社。“，”DOI“：”10.1109\/LICS.1996.561317“}，{“key”：“9_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Rowan Davies和Frank Pfenning。阶段计算的模态分析。第23届ACM编程语言原理研讨会（POPL\u201996），第258\u2013270页，圣彼得堡海滩，1996年1月。”，“DOI”：“10.1145\/237721.237788”}key“：”9_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Jean-Jacques Levy和Luc Maranget。显式替换和编程语言。在第19届软件技术和理论计算机科学基础会议（FSTTCS）上，印度钦奈，1999年12月欧洲编程交响乐团（ESOP）”，“作者”：“E.Moggi”，“年份”：“1999”，“非结构化”：“尤金尼奥·莫吉、瓦利德·塔哈、齐恩·埃尔·阿比丁·贝奈萨和蒂姆·谢尔德。理想化的MetaML：更简单，更具表现力。《欧洲程序设计交响曲》（ESOP），计算机科学讲义第1576卷，第193\u2013207页。Springer-Verlag，1999.“}，{“key”：“9_CR9”，“unstructured”：“Walid Taha。多阶段编程：理论与应用。俄勒冈州科学技术研究生院博士论文，1999年7月。”}，}，“key“：”9_CR10“，“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。多阶段pro-gramming：公理化和类型安全。第25届国际自动化、语言和编程学术讨论会，计算机科学讲义第1443卷，第918\u2013929页，奥尔堡，1998年7月。“}，{”key“：”9_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”瓦利德·塔哈和蒂姆·谢尔德。带有显式an-notation的多阶段编程。《ACM-SIGPLAN部分评估和基于语义的程序操作研讨会论文集》，PEPM\u201997，阿姆斯特丹，第203\u2013217页。ACM，1997.“，”DOI“：”10.1145\/258993.259019“}，{”key“：”9_CR12“，”DOI-asserted-by“：”publisher“，”first page“：“1”，“DOI”：“10.1016\/S0304-3975（00）00053-0”，“volume”：“248”，“author”：“W.Taha”，“year”：“2000”，“unstructured”：“Walid Taha and Tim Sheard。MetaML:带显式注释的多级编程。理论计算机科学，248（1\u20132），2000年“，”journal-title“：”理论计算机科学“}，{“key”：“9_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Mitchell Wand，Igor Siveroni.无用变量删除的约束系统.第26届ACM程序设计语言原理研讨会（POPL）论文集，第291\u2013302页，1999年。”，“doi”：“10.1145\/292540.292567”}，“issue”：“1”，“key“：”9_CR14“，”doi-asserted-by“：”publisher“，”first-page“：”38“，”doi“：”10.1006\/inco.1999.1093“，”volume“：“115”，”author“：”K.W.Andrew“，”year“：”1994“，”unstructured“：”Andrew K.W.Wright和Matthias Felleisen。从句法角度看类型的正确性。信息与计算，115（1）：38\u2013941994。”，“日记标题”：“信息与计算”}]，“容器标题”：[“计算机科学讲义”，“程序生成的语义、应用和实现”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-45350-4_9.pdf“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,11,17]]，“date-time”：”2020-11-17T21:09:11Z“，“timestamp”：1605647351000}，“score”：1，“resource”:{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/3-540-45350-4_9“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540410546”]，”引用计数“：14，”URL“：”http://\/dx.doi.org\/10.1007\/3-540.45350-4_9