{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,4,29]]，“日期-时间”：“2024-04-29T19:07:40Z”，“时间戳”：1714417660847}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：0，“发布商”：“ACM出版社”，“内容-域”：[]，“交叉标记-限制”：false}，“短期集装箱运输”：[]，“published-print”：{“date-parts”：[[1990]]}，“DOI”：“10.1145\/96709.6744”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2003,6,2]，“date-time”：“2003-06-02T17:12:42Z”，“timestamp”：1054573962000}，”source“Crossref”，“is-referenced-by-count”：83，“title”：[“高阶模块和相位区分”]，“prefix”：“10.1145”，“作者”：[{“给定”：“Robert”，“family”：“Harper”，“sequence”：“first”，“affiliation”：[]}，{“given”：“John C.”，“家族”：“Mitchell”，“sequence”:“additional”，“abfiliation“：[]{”given“：”Eugenio“，”family“：”Moggi“，”sequence“：”additional“，”affiliation:[]}]，“member”：“320”，“event”：{“name”：“the 17th ACM SIGPLAN-SIGACT研讨会”，“location”：“San Francisco，California，美国“，“缩写词”：“POPL’90”，“数字”：“17”，“赞助商”：[“SIGACT，ACM算法和计算理论特别兴趣小组”，“SIGPLAN，ACM编程语言特别兴趣小组“]，“start”：{“date-parts”：[[1990]}}，“container-title”：[”第17届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集-POPL'90“]，“original-title”：[]，“link”：[{“URL”：“http://\/dl.acm.org\/ft_gateway.cfm？id=96744&ftid=19176&dwn=1”，“content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2016,12,15]]，“日期时间”：“2016-12-15T20:55:58Z”，“时间戳”：1481835358000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/portal.acm.org\/citation.cfm？doid=96709.96744”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[1990]]}，”引用计数“：0，”URL“：”http://\/dx.doi.org\/10.1145\/9670996744