{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:08:08Z”，“时间戳”：1725725288346}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：50，“出版者”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[2015,10,23]]，date-time“：”2015-10-23T00:00:00Z“，”时间戳“：144555840000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，”short-container-title“：[]，”published-print“：{”date-parts“：[2015,10,23]]}”，“DOI”：“10.1145\/28142 70.2814323“，”type“：”procesdings-article“，“已创建”：｛“日期部分”：[[2015,11,2]]，“日期-时间”：“2015-11-02T21:04:33Z”，“时间戳”：1446498273000｝，“页面”：“37-56”，“更新策略”：“http:\/\/dx.doi.org/10.1145\/crosmark policy”，“来源”：“Crossref”，“由计数引用”：16，“标题”：[“使用可枚举结构集编程”]，“前缀”：“10.1145”，“作者”：[｛“给定”：“Ivan”，“家族”：“Kur aj”，“sequence”：“first”，“affiliation”：[{“name”：“Massachusetts Institute of Technology，USA”}]}，{“given”：“Viktor”，“family”：“Kuncak”，“segment”：“additional”，“filiation“：[{name”：”EPFL，Switzerland“}]}]，{”given“：”Daniel“，”family“：”Jackson“，”sequence“：”additional，“published-online”：{“date-parts”：[[2015,10,23]]}，“reference”：[{“unstructured”：“SciFe网站和存储库。http://\/kaptoxic.github.io\/SiFe.SiFe站点和存储库http://\/kaptoxic.github.io\/CiFe.”，“key”：“e_1_3_2_1_1_1_1”}，{“doi-asserted-by”：“publisher”，“密钥”：“e_1_3_2_1_2_1_1“，”doi“：”10.5555\/860270“}{“doi-asserted-by”：“publisher”，“key”：“e_1_3_2_1_3_1”，”DOI“：”10.1145\/248987.24898338“}，{“DOI-asserted-by”：“publicher”，“key”：”e_1_ 3_2_1_4_1“，“DOI”：“10.1145\/566172.566191”}，“DOI-sserted-by“：”publisher“，”key“：”e_ 1_3_2 _1_5_1““key”：“e_1_3_2_1_6_1”，“DOI”：“10.1007\/978-3642-35308-6_10”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_3_2_1_7_1”，”DOI“：”10.1007\/978-3-540-78969-7_23“}，{“DOI-asserted-by”：“publicher”，“密钥”：“e_1_3_2_1_8_1”、“DOI”：“10.1145\/1273463.1273476”}，“DOI-aserted-by“：”publisher“，”key“：”e_1_i_2_1_9_1“，y“：”publisher“，”key“：”e_1_3_2_1_10_1“，“DOI”：“10.1145\/351240.351266”}，{“doi-asserted-by”：“publisher”，“key”：“e_1_3_2_11_1”，“doi”：“10.1145\/1287624.1287651”}，{“volume-title”：“The Coq Workshop”，“year”：“2014”，“author”：“D\u00e9n\u00e8s M”，“unstructured”：“M.D \u00e 9n\u00 e8s，C.Hritcu，L.Lampropulos，Z.Paraskevopoulou，and B.C.Pierce。QuickChick：Co的基于属性的测试q.Coq研讨会，2014.M。D\u00e9n\u00e8s、C.Hritcu、L.Lampropoulos、Z.Paraskevopoulou和B.C.Pierce。QuickChick：Coq的基于属性的测试。Coq Workshop，2014年。”，“key”：“e_1_3_2_12_1”}，{“volume-title”：“自动数据结构生成：拒绝公共智慧。未出版手稿，网址：http://www.cs.ucsb.edu\/benh\/research\/papers.html”，“年份”：“2015年”，“作者”：“杜威K”，“非结构化”：“K.杜威，L.Nichols，and B。哈德科夫。自动数据结构生成：拒绝常识。未出版手稿，网址：http://www.cs.ucsb.edu\/benh\/research\/papers.html，2015。K.Dewey、L.Nichols和B.Hardekopf。自动数据结构生成：拒绝常识。未出版手稿，网址：http://www.cs.ucsb.edu\/benh\/research\/papers.html，2015.“，”key“：”e_1_3_2_13_1“}，”doi-asserted-by“：”publisher“，”key“：“e_1_ 3_2_14_1”，”doi“：”10.1145\/2364506.2364515“}”，{“doi-assert-by”：“publisher”，“key”：“e_ 1_3_2 _15_1”、“doi”：“10.1145\/1390630.1390637“}，{”doi-asserted-by“：”publisher“，”key“：”e_1_3_2_16_1“，“DOI“：”10.1017\/S095679680104075“}，{”DOI-asserted-by“：”publisher“，”key“：”e_1_3_2_17_1“，“DOI”：“10.1006\/jsco.1995.1070”}，“DOI-assert-by”：“publisher”，“key”：“e_1_ 3_2_18_1”，”DOI“:”10.1145\/1806799.1806835“}”，{“DOI”：“10.1109\/TSE.1975.6312836”}，{“volume-title”：“JFLA”，“年份”：“1994”，“作者”：“Goubault J.“，“非结构化”：“J.Goubault。实现具有快速等式、集合和映射的函数语言：散列计算练习。JFLA，1994年。J.古堡。实现具有快速等式、集合和映射的函数语言：散列计算练习。JFLA，1994.“，”key“：”e_1_3_2_1_20_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_1_21_1“，”doi“：”10.1145\\357133.357136“}“doi-assert-by”：“publisher”，“key”：“e_1_3_2 _1_22_1”，“doi”：“10.1145\\2491956.2462192”}，“，”doi“：”10.1016\/S0167-6423（99）00023-4“}，{”doi-asserted-by“：”publisher“，”key“：”e_1_3_2_1_24_1“，”DOI“：”10.1007\/978-3-540-69611-7_1“}，{”DOI-asserted-by“：”publisher“，“key”：“e_1_ 3_2_1_2 5_1”，“DOI”：“10.1145\/505145.505149”}，“DOI-assert-by”：“publisher”，”key“：”e_1\/9781_2_1_26_1“”，“DOI”：”10.1145\/1882291.1882332 e_1_3_2_1_27_1“，”DOI“：”10.1145\/1159803.1159830“}，{“DOI-asserted-by”：“publisher”，“key“：”e_1_3_2_1_28_1“，”DOI“：”10.1023\/B:AUSE.0000038938.10589.b9“}，{”DOI-asserted-by“：”publisher“，“key”：“e_1_ 3_2_1_2 9_1”，“DOI”：“10.1145\/1086365.1086390”}，“DOI-assert-by”：“publisher”，y“：”publisher“，”key“：”e_1_3_2_1_31_1“，”DOI“：”10.1145\/2103656.2103675“}，{”volume-title“：”EPFL，“年份”：“2013年”，“作者”：“Kuraj I.”，“非结构化”：“I.Kuraj。交互式代码生成。2019硕士论文，EPFL，洛桑，2013年。I.库拉杰。交互式代码生成。2019s硕士论文，EPFL，洛桑，2013.“，”key“：”e_1_3_2_1_32_1“}，”doi-asserted-by“：”publisher“，”key“：“e_1_ 3_2_1_1_33_1”，”doi“：”10.1145 \/2637647.2637655“}”，{“doi-assert-by”：“publisher”，“key”：“e_ 1_3_2 _1_34_1”、“doi”：“10.1145 \/2509136.2509547”}，{”doi-sserted-by key“：”e_1_3_2_1_35_1“，”doi“：”10.1145\/1287624.1287645“}，{”volume-title“：”MPC”，“年份”：“2004年”，“作者”：“Mu S.-C.”，“非结构化”：“S.-C.Mu，Z.Hu，和M.Takeichi。用于可逆计算的注入语言。MPC，2004年。S.-C.Mu、Z.Hu和M.Takeichi。用于可逆计算的注入语言。在MPC，2004年。“，”key“：”e_1_3_2_1_36_1“}，”{“key”：“e_1_ 3_2_1_1_37_1”，“volume-title”：“Scala编程语言概述”，“author”：“M.Odersky”，“year”：“2006”，“unstructured”：“M.Odersky et al.An Overview of Scala Programming Language（2 nd Edition）.Technical report，EPFL，2006.M.Ondersky et al。Scala编程语言概述（第二版）。技术报告，EPFL，2006年。“，”版本“：”2“}，{”doi-asserted-by“：”publisher“，”key“：”e_1_3_2_1_38_1“，“doi”：“10.1145\/1297846.1297902”}，“doi-assert-by”：“publisher”，“key”：“e_1_a_2_1_39_1”，”doi“：”10.5555\/645610.62028“}”，{“doi-aserted-by”“：”publisher“，”密钥“：”e_1_3_2_1_40_1“I“：”10.1145\/2660193.2660232“}，{”doi-asserted-by“：”publisher“，”key“：”e_1_3_2_1_41_1”，“DOI”：“10.1007\/BF01211087”}，{“DOI断言者”：“publisher”，“key”：“e_1_3_2_42_1”，“DOI”：“10.1145\/141128.6411292”}，{“DOI断言者”：“publisher”，“key”：“e_1_3_2_1_43_1”，“DOI”：“10.1007\/978-3-642-30473-6_10”}，{“DOI断言者”：“publisher”，“key”：“e_1_3_2_1_44_1”，“DOI”：“10.1109\/ICTW.2010.7“｝，｛”DOI由“：”publisher“断言，”key“：”e_1_3_2_1_45_1“，”DOI“：”10.1145\/1007512.1007531“}，{“volume-title”：“NKS”，“year”：“2006”，“author”：“Szudzik M”，“unstructured”：“M.Szudjik.优雅配对函数。在NKS，2006。M.Szudzik.优雅对偶函数。在2006年，NKS。P.”，“非结构化”：“P。塔劳。导出广义康托N元组双射的快速逆。ICLP，2012年。P.塔劳。导出广义康托N元组双射的快速逆。在ICLP，2012.“，”key“：”e_1_3_2_1_47_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_1_48_1“，“doi”：“10.1145\/1101908.1101983”}，“doi-assert-by”：“publisher”，“key”：“e_1_A_2_1_49_1”，”doi“：”10.1007\/115066767_17“}”，{“volume-title”：“AAIP”，“year”：“2010”，“author”：“Yakushev A.”，“非结构化”：“A.Yakushef和J。开玩笑。通用枚举类型良好的术语。AAIP，2010年。A.Yakushev和J.Jeuring。一般性地枚举类型良好的术语。AAIP，2010.“，”key“：”e_1_3_2_1_50_1“}]，”event“：{”supportor“：[”SIGPLAN ACM编程语言特别兴趣小组“]，”缩写词“：”SPLASH“15”，“name”：“SPLASH'15:系统、编程、语言和应用会议：人性化软件”，“location”：“Pittsburgh PA USA”}，“container-title”：[“2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集“]，“原标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org/doi\/pdf\/10.1145\/28142720.2814323”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“已保存”：{date-parts“：[[2023,9,4]]，“date-time”：“2023-09-04T22:26:09Z”，“timestamp”：1693866369000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814323”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2015,10,23]]}，‘references-count’：50，”alternative-id“：[”10.1145\/2814270.2814323“，”10.1145\/2814270“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2814270.2814323“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2858965.2814333“，”asserted-by“：”object“}]}，”subject“：[]，”published“：标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“出版历史“}}]}}