{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,13]]，“日期时间”：“2023-09-13T18:54:58Z”，“时间戳”：1694631298331}，“出版商位置”：“柏林，海德堡”，“参考计数”：22，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540662242”，“类型”：“打印”}，{“值”：“9783540485230”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}date-time“：”1999-01-01T00:00:00Z“，”timestamp“：915148800000}，”content-version“：”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”：[[1999]]}，”DOI“：”10.1007\/3-540-48523-6_60“，”type“：”book-capter“，”created“：{”date-part“：[[2007,12,10]]，“日期时间”：“2007-12-10T12:06:31Z”，“时间戳”：1197288391000}，“页面”：“635-644”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“交叉引用”，“is-referenced-by-count”：11，“标题”：[“类型化的异常和连续性无法相互宏导出”]，“前缀”：“10.1007”，”作者“：[{”给定“：”Jon G.“，”系列“：”Riecke“，”序列“：”第一个“，“隶属关系”：[]}，{“given”：“Hayo”，“family”：“Thielecke”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2002,18]]}，“reference”：[{“key”：”60_CR1“unstructured”：“H.P.Barendregt.《Lambda Calculus:Its Syntax Semantics》，《Studies in Logic》第103卷。North-Holland，1981年。修订版，1984年。“}，{”key“：”60_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”O.Danvy和J.L.Lawall。返回直接风格II：第一类延续。《1992年ACM Lisp和函数编程会议论文集》，第299\u2013310页。ACM，1992.“，”DOI“：”10.1145\/141478.141564“}，{“key”：“60_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Felleisen。一级提示的理论与实践。第十五届ACM编程语言原理研讨会会议记录，第180\u2013190页。ACM，1988年。“，”DOI“：”10.1145\/73560.73576“}，{“key”：“60_CR4”，“DOI-asserted-by”：“publisher”，“first page”：”35“，“DOI”：“10.1016\/0167-6423（91）90036-W”，“volume”：：“17”，“author”：“M.Felleisen”，“year”：“1991”，“unstructured”：“M.Felleisen.论编程语言的表达力。《计算机编程科学》，17:35\u2013751991年。“标题“：”计算机编程科学“}，{“key”：“60_CR5”，“unstructured”：“J.Gosling，B.Joy，and G.Steele.The Java（tm）Language Specification。Addison-Wesley，1996.”}，}，“key“：”60_CR6“，”unstructure“：”G。卡恩。自然语义。《计算机科学理论方面研讨会论文集》，Lect第247卷。计算机科学笔记。，纽约，1987年。施普林格出版社。“}，{”key“：”60_CR7“，”unstructured“：”R.Kelsey，W.Clinger，and J.Rees，editors.关于算法语言Scheme的修订报告。高阶和符号计算，11（3）：7\u20131051998。“}”，{“key”：“60_CR8”，“unstructure”：“P.J.Landin.跳转和标签的泛化。UNIVAC Systems Programming Research，1965年8月。”}60_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”P.J.Landin。跳转和标签的非通用化。《高阶和符号计算》，11（2），1998年。“，”DOI“：”10.1023\/A:1010068630801“}，{“key”：“60_CR10”，“unstructured”：“X.Leroy和P.Weis。语言Caml手册参考。InterEditions，巴黎，1998。”}，“{”key“：”60_CR11“，”DOI-asserted-by“：”crossref“，”unstructure“：”M.Lillidge。异常严格来说比call\/cc更强大。技术报告CMSCS-95\u2013178，卡内基梅隆大学计算机科学学院，1995年。利利布里奇。未捕获的异常严格来说比call \/cc更强大。Higher-Order and Symbolic Computation，12（1）：275\u2013307，1999.“，”journal-title“：”Higher-Order and Symbolic Computation“}，{“key”：“60_CR13”，“series-title”：“Lect Notes Comput Sci”，“doi-asserted-by”：“crossref”，“first-page”：“219”，“doi”：“10.1007\/3-540-15648-8_17”，“volume-title”：《程序逻辑会议记录》，1985年，“作者”：A.R.Meyer，“年份”：“1985年”，“非结构化”：“A.R.Meyer和M.Wand。类型化lambda-calculi中的延续语义（摘要）。在R.Parikh，编辑，《程序逻辑会议论文集》，1985年，《计算机科学讲义》193，第219页\u2013224。Springer-Verlag，1985.“}，{”key“：”60_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Milner，M.Tofte，R.Harper，and D.MacQueen.The Definition of StandardML（Revised）.MIT Press，1997.“，”doi“：”10.7551\/mitpress\/2319.001.0001“}“非结构化”：“E。莫吉。计算和单子的概念。信息与控制，93:55\u2013921991。”，“新闻标题”：“信息与控制”}，{“key”：“60_CR16”，“非结构化”：“J.H.Morris.编程语言的Lambda-calculus模型。技术报告MACTR-57，M.I.T.计算机科学实验室，1968。”}90017-1“，“卷”：“1”，“作者”：“G.D.Plotkin”，“年份”：“1975”，“非结构化”：“G.D.Plotkin”。Call-by-name、Call-by-value和\u03bb-calculus。理论计算机科学。，1:125\u20131591975。”，“期刊标题”：“理论计算机科学。“}，{”key“：”60_CR18“，”doi-asserted-by“：”publisher“，”首页“：”223“，”doi“：”10.1016\/0304-3975（77）90044-5“，”volume“：“5”“，”author“：”G.D.Plotkin“，“year”：“1977”，“unstructured”：“Plotkin，G.D.LCF被视为编程语言。理论计算机科学，5:223\u2013257，1977。”，“journal title”：“Theory Computer Sci.”}，}“issue”：“3 \/4“，”键“：”60_CR19“，”doi-asserted-by“：”publisher“，”first page“：”233“，”doi“：”10.1007\/BF01019459“，”volume“：“6”，”author“：”J.C.Reynolds“，”year“：”1993“，”unstructured“：”JC.Reynolds。延续的发现。Lisp和符号计算，6（3/4）：233\u20132471993年11月。费莱森。延续推理II：控制模型的完全抽象。《1990年美国计算机学会Lisp和函数编程会议记录》，第161\u2013175页。ACM，1990.“，”DOI“：”10.1145\/91556.91626“}，{“key”：“60_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“H.Thielecke.两次使用continuation及其对call\/cc表达能力的影响。高阶和符号计算，12（1），1999.”，“DOI”：“10.1023\/a:1010068800499”}，“key“：”60_CR22“，”非结构化“：”A.van Wijngaarden。语法和语义的递归定义。T.B.Steel，Jr，编辑，《计算机程序设计的形式语言描述语言》，IFIP工作会议记录，第13\u201324页，1964年https:\/\/link.springer.com/content\/pdf\/10.1007\/3-540-48523-6_60“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2022,1,22]]，“date-time”：”2022-01-22T03:10:59Z“，“timestamp”：1642821059000}，“score”：1，“resource”：{“primary”：{:“URL”：“https:\/\/link.springer.com/10.1007\/3-540-48523-6_60“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[1999]]}，“ISBN”：[“9783540662242”，”9783540485230“]，”引用计数“：22，”URL“：”http://\/dx.doi.org\/10.10007\/3540-48523-6 _60“，”关系“：{}，“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value”：“1611-3349“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1999]]}，”assertion“：[{”value“：“2002年1月18日”，”order“：1，”name“：”first_online“，”label“：”first online“