{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T19:55:31Z”，“时间戳”：1693857331693}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540509400”，“type”：“print”}，{“value”：“9783540461180”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1989]}，”DOI“：”10.1007\/3-540-50940-2_43“，”type“：”book-capter“，”created“：”{“date-part”：[2012,25]]，“date-time”：“2012-02-25T20:35:48Z”，“时间戳”：1330202148000}，“页面”：“298-312”，“源”：“Crossref”，“is-referenced-by-count”：17，“title”：[“多态类型高阶语言的绑定时间分析”]，“prefix”：“10.1007”，《author》：[{“given”：“Torben\u00c6.”，“family”：“Mogensen”，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,31]]}，“reference”：[{-“key”：”19_CR1“，”unstructured“”：“A.Bondorf，N.D.Jones，T.\u00c6.Mogensen，P.Sestoft，作为生成提交出版的程序生成器的工具的自我应用程序”｝，｛“key”：“19_CR2”，“非结构化”：“N.D.Jones，《自动程序专业化：对部分评估和混合计算研讨会论文集基本原则的重新审视》，丹麦，1987年10月，编辑D.Bj\u00f8rner，a.P.Ershov和N.D.Jones，North-Holland 1988”}，{“key”：“19_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“N.D.Jones，A.Mycroft，《作为数据对象的程序研讨会论文集中使用最小函数图对应用程序进行数据流分析》，哥本哈根，1985年10月，Springer Verlag LNCS 2171986年”，“DOI”：“10.1145 \/512644.512672”}，{“key”：“19_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“N.D.Jones，P.Sestoft，H.S\u00f8ndergaard，《部分求值实验：重写技术和应用中编译器生成器的生成》（编辑J.-P.Jouannaud），Dijon，法国1985，Springer Verlag LNCS 2021985”，“DOI”：“10.1007\/3-540-15976-2_6”}，{“key”：“19_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“N.D.Jones，P.Sestoft，H.S\u00f8ndergaard，Mix:LISP和符号计算中编译器生成实验的自适用部分求值器1 3\/4，1988”，“DOI”：“10.1007\/BF01806312”}，{“key”：“19_CR6”，“unstructured”：“J.Launchbury，《部分评估和混合计算研讨会论文集中的专业化预测》，丹麦，1987年10月，编辑D.Bj\u00f8rner，A.P.Ershov和N.D.Jones，1988年”}，{“key”：“19_CR7”，“非结构化”：“T.\u00c6.Mogensen，部分评估和混合计算研讨会论文集中的自适用部分评估器中的部分静态结构，丹麦，1987年10月，编辑D.Bj\u00f8rner，a.P.Ershov和N.D.Jones，North-Holland 1988”}，{“key”：“19_CR8”，“非结构化”：“T.\u00c6.Mogensen，Separating Binding Times in Language Specification submitted for publishing”｝，｛“key”：“19_CR9”，“doi asserted by”：“crossref”，“nonstructured”：“H.R.Nielson，F.Nielson，Semantics Directed Compling for Functional Languages in the Proceedings of the ACM Conference on LISP and Functional Programming 1986”，“doi”：“10.1145\/319838.319867”}，{“key”：“19_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“H.R.Nielson，F.Nielson《计算机编程科学中类型化\u03bb-演算的自动绑定时间分析》10，北欧1988年”，“doi”：“10.1016\/0167-6423（88）90025-1”}：“S.A.Romanenko，一个由自我适用专家制作的编译器生成器，在部分求值和混合计算研讨会论文集中具有令人惊讶的自然和可理解的结构，丹麦，1987年10月，编辑D.Bj\u00f8rner，A.P.Ershov和N.D.Jones，North-Holland 1988”}，{“key”：“19_CR12”，“unstructured”：“D.A.Schmidt，《部分评估和混合计算研讨会论文集中部分简化的静态特性》，丹麦，1987年10月，编辑D.Bj\u00f8rner，A.P.Ershov和N.D.Jones，North-Holland 1988”}，{“key”：“19_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“P.Wadler，R.M.J.Hughes在1987年函数编程语言和计算机体系结构会议论文集中对严格性分析的预测，Springer Verlag LNCS 2741987年9月”，“DOI”：“10.1007\/3-540-18317-5_21”}]，“container-title”：[“TAPSOFT’89”，“计算机科学课堂讲稿”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-50940-2_43.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2020,11,17]]，“日期-时间”：“2020-11-17T21:19:16Z”，“时间戳”：1605647956000}，“分数”：1，“资源”：{-“主要”:{“URL”：“http://\/link.springer.com/10.1007\/3-540-50940-2_43”}}，“副标题”：[]，“短标题”：[]，“发布”：{“date-parts”：[[1989]]}，”ISBN“：[”9783540509400“，”97835461180“]，“references-count”：13，“URL”：“http://\\dx.doi.org\/10.10007\/3-50940-2-43”，“关系”：{}，“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[1989]]}}