{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T13:22:45Z”，“时间戳”：1725456165539}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：6，“出版者”：“Springer-Verlag”，“isbn-type”：[{“类型”：”打印“，“值”：“3540176 11X“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0014988”，“type”：“book-chapter”，“created”：{“date-parts”：[[2005,11,23]]，“date-time”：“2005-11-23T06:02:53Z”，“timestamp”：1132725773000}，《page》：“308-319”，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“程序模块的类型规程”]，“prefix”：“10.1007”，“author”：[{“given”：“Robert”，“family”：“Harper”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Robin”，“家族”：“Milner”，“序列”：“additional”，“filiation“：[]{”，{（给定）：“Mads”，“家庭”：“Tofte”：“crossref”，“非结构化”：“Luis Damas和Robin Milner。函数程序的主要类型方案。在第九届美国计算机学会编程语言原理研讨会论文集，第207\u20132121982页。”，“DOI”：“10.1145\/5821535.582176”｝，｛“key”：“20_CR2”，“nonstructured”：“Robert Harper。标准ML简介。爱丁堡大学技术报告，1986年9月。“}，{“key”：“20_CR3”，“unstructured”：“David MacQueen.标准ML的模块。在标准ML中，由Robert Harper、David MacQueen和Robin Milner编写，技术报告ECS-LFCS-86-2，爱丁堡大学计算机科学基础实验室，1986年3月。”doi-asserted-by“：”crossref“，”unstructured“：”David MacQueen“。使用依赖类型表示模块结构。1986年第13届ACM程序设计语言原理研讨会论文集。“，”DOI“：”10.1145“/512644.512670“}，{”key“：”20_CR5“，”DOI-asserted-by“：”crossref“，”first page“：“348”，“DOI”：“10.1016\/0022-0000（78）90014-4”，“volume”：“17”，“author”：“R.Milner”，“year”：“1978”，“unstructured”：“罗宾·米尔纳。编程语言中的类型多态理论。《计算机与系统科学杂志》，17:348\u20133751978.“，“Journal-title”：“Journal of Computer and System Sciences”}，{“key”：“20_CR6”，“series-title”：《技术报告》，“volume-title“：“操作语义的结构方法”，“author”：“G.Plotkin”，“year”：“1981”，“unstructured”：“戈登·普洛特金（Gordon Plotkin）。操作语义的结构方法。技术报告DAIMI-FN-19，丹麦奥尔胡斯大学计算机科学系，1981年intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,12,7]]，”date-time“：”2020-12-07T15:09:01Z“，”timestamp“：1607353741000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/BFBb0014988”}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[null]]}，“ISBN”：[“354017611X”]，“references-count”：6，“URL“：”http://\/dx.doi.org\/10.1007\/bfb0014988“，”关系“：{}，”主题“：[]}}