{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:03:56Z”，“时间戳”：1725725036090}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：39，“出版商”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[[2015,10,23]]，时间“：”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.2814315“，”type“：”procesdings-article“，“created”：{“date-parts”：[[2015,11,2]]，“date-time”：“2015-11-02T21:04:33Z”，“timestamp”：1446498273000}，“page”：“935-953”，“update-policy”：”http://\/dx.doi.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：7，”title“：[”可定制的Scala渐变多态效果“]，”前缀“：”10.1145“，“author”：[{“给定”：“Mat\u00edas”，“family”：“Toro”，“sequence”：“first”，“affiliation”：[{“name”：“Chile University of Chile”}]}，{“given”：“\u00c9ric”，“faily”：”Tanter“，“segment”：“additional”，“abfiliance”：[[{”name“：Chile大学”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2015,10,23]]}_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1328438.1328449”}，{“key”：“e_1_3_2_2_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145 \/1119479.1119480“}，}”key“：”e_1_ 3_2_3_1“，”doi-assert-by“：”publisher“，：“e_1_3_2_2_5_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\\1167515.1167479”｝，｛“key”：“e_1_3_2_6_1”，“doi断言者”：“publisher”，“doi”：“10.1145\\2628136.2628149”｝，｛“key”：“e_1_3_2_7_1”，“doi断言者”：“publisher”，“doi”：“10.1145\\1190315.1190320”｝，｛“key”：“e_1_3_2_8_1”，“doi断言者”：“publisher”，“doi”：“10.1007\\978-3-662-44202-9_11”｝，｛“卷标题”：“关于动态语言复兴的研讨会”，“year”：“2004”，“author”：“Bracha G.”，“key”：“e_1_3_2_9_1”，“unstructured”：“G.Bracha。可插拔类型系统。在关于动态语言复兴的研讨会中，2004。G.Bracha。可插拔类型系统。在关于动态语言复兴的研讨会中，2004。”}，{“key”：“e_1_3_2_10_1”，doi断言由“：”publisher“，“DOI”：“10.1145\/512950.512973”}，{“key”：“e_1_3_2_2_11_1”，“DOI-asserted-by”：“publisher”，“DOI:”10.1145\/1353445.1353448“}”，{”key“：”e_1_ 3_2_12_1“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145 \/1985793.1985889“}，“volume-title”：“程序脚本国际研讨会”，“年份”：“2011”，“作者”：“迪士尼T.“，“key”：“e_1_3_2_2_13_1”，“非结构化”：“T。迪士尼和C.弗拉纳根。渐进式信息流输入。2011年，在国际课程脚本研讨会上。T.迪士尼和C.弗拉纳根。渐进式信息流输入。在2011年国际程序脚本研讨会上。“}，{”key“：”e_1_3_2_2_14_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.scico.2006.01.003”}，“key”：“e_1_ 3_2_15_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/2685028“}”，{10.1109\/CSF.2013.22“}，{“键”：“e_1_3_2_2_17_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1145\/2629609“}，{“key”：“e_1_3_2_2_18_1”，“doi-assert-by”：“publisher”、“doi”：“10.1145\/319838.319848”}、{“密钥”：“e_1_3_2_19_1”、”doi-asserted-by“”：“publisher”、“doi”：“101007\/978-3642-39038-8_8”}，}“volume-title”：“Java语言规范”，“year”：“2003”，“作者”：“Gosling J.”，“关键”：“e_1_3_2_20_1”非结构化“：”J.Gosling、B.Joy、G.Steele和G.Bracha。Java语言规范，第三版。Addison-Wesley，2003年。J.Gosling、B.Joy、G.Steele和G.Bracha。Java语言规范，第三版。Addison-Wesley，2003.“}，{”key“：”e_1_3_2_21_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/503502.503505“}”，{“key”：“e_1_ 3_2_22_1”，“doi-assert-by”：“publisher”，“doi”：“10.5555\/574212”}，“volume-title”：“第十五届欧洲面向对象编程会议论文集（ECOOP 2001），“年份”：“2072”，“作者”：“Kiczales G.“，”key“：”e_1_3_2_23_1“，”非结构化“：”G.Kiczales、e.Hilsdale、J.Hugunin、M.Kersten、J.Palm和W.Griswold。AspectJ概述。J.L.Knudsen，编辑，《第十五届欧洲面向对象编程会议记录》（ECOOP 2001），计算机科学讲义第2072页，第327\u2013353页，匈牙利布达佩斯，2001年6月。斯普林格·弗拉格。G.Kiczales、E.Hilsdale、J.Hugunin、M.Kersten、J.Palm和W.Griswold。AspectJ概述。J.L.Knudsen，编辑，《第十五届欧洲面向对象编程会议记录》（ECOOP 2001），计算机科学讲义第2072页，第327\u2013353页，匈牙利布达佩斯，2001年6月。斯普林格·弗拉格。“}，{”key“：”e_1_3_2_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/253228.253431”}，“key”：“e_1_ 3_2_25_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/BFb0053381“}”，{“首页”：“106”，“卷时间”：“IMSA 92反思与元层次架构研讨会论文集”，“作者”：“Lamping J.”，：“e_1_3_2_26_1”，“非结构化”：“J.Lamping、G.Kiczales、L.H.R.Jr.和E.Ruf。开放编译器的体系结构。IMSA 92反思与元层次架构研讨会论文集，第95\u2013 106页。Akinori Yonezawa和Brian C.Smith，编辑，1992年。J.Lamping、G.Kiczales、L.H.R.Jr.和E.Ruf。开放编译器的体系结构。IMSA 92反思与元层次架构研讨会论文集，第95\u2013106页。Akinori Yonezawa和Brian C.Smith，编辑，1992年。“}，{“key”：“e_1_3_2_27_1”，“doi断言者”：“publisher”，“doi”：“10.4204\/EPTCS.153.8”}，{“key”：“e_1_3_2_28_1”，“doi断言者”：“publisher”，“doi”：“10.1145\/14481861.868”}，{“key”：“e_1_3_2_29_1”，“doi断言者”：“crossref”，“非结构化”：“J.Matthews和A.Ahmed。\n通过运行时密封或低低价定理实现参数多态性！在S中。Drossopoulou编辑《第17届欧洲编程语言与系统研讨会论文集》（ESOP，2008年）第4960卷，共《计算机科学》讲稿第16页，2013年，匈牙利布达佩斯，2008年。\n Springer-Verlag\n。J.Matthews和A.Ahmed。通过运行时密封或定理实现的参数多态性，价格低廉！在S.Drossopoulou编辑的《第17届欧洲程序设计语言与系统研讨会论文集》（ESOP 2008）第4960卷《计算机科学讲义》第16页\u201331匈牙利布达佩斯2008。斯普林格·弗拉格。“，”DOI“：”10.1007\/978-3-540-78739-6_2“}，{”key“：”e_1_3_2_30_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/345099.345100”}，“key”：“e_1_ 3_2_31_1”，“unstructured”：“L.Rytz.Scala Practical Effect System。博士论文\u00c9cole Polytechnique F\u00e9d\u00e9 rale de Lausanne 2013年9月。莱茨（L.Rytz）。Scala的实用效果系统。博士论文\u00c9cole Polytechnique F\u00e9d\u00e9洛桑罗勒2013年9月。_2_34_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-28869-2_29“}，{“key”：“e_1_3_2_2_35_1”，“first page”：”92“，“volume-title”：“Proceedings of the Scheme and Functional Programming Workshop”，“author”：“Siek J.”，《年份》：“2006”，“unstructured”：“J.Siek and W。塔哈。函数式语言的渐进式键入。《方案和函数编程研讨会论文集》，第81页\u2013 92，2006年9月。J.Siek和W.Taha。函数式语言的渐进式键入。《方案与函数编程研讨会论文集》，第81\u201392页，2006年9月。蒂曼和L.芬内尔。注释类型系统的渐进式键入。Z.Shao，编辑，《第23届欧洲编程语言与系统研讨会论文集》（ESOP 2014），《计算机科学讲稿》第8410卷，第47\u2013 66页，法国格勒诺布尔，2014年。斯普林格·弗拉格。P.Thiemann和L.Fennell。注释类型系统的渐进式键入。Z.Shao，编辑，《第23届欧洲编程语言与系统研讨会论文集》（ESOP 2014），《计算机科学讲稿》第8410卷，第47\u201366页，法国格勒诺布尔，2014年。斯普林格·弗拉格。“}，{”key“：”e_1_3_2_2_37_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1739230.1739233”}，“key”：“e_1_ 3_2_39_1”，“unstructured”：“Typesafe Inc.Scala的Slick函数关系映射。http:\\/Slick.Typesafe.com\/.Typesafe Inc Scala的Sclick函数关联映射。http:\\/slich.Typesafe.com\/.”}，“非结构化“：”Typesafe Inc.Play framework 2007。http://www.playframework.com//。Typesafe Inc.游戏框架2007。http://www.playframework.com//。“}]，”event“：{”name“：”SPLASH'15:系统、编程、语言和应用会议：人性化软件“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“]，”location“：”Pittsburgh PA USA“，”缩写“：”SPASH'15“}，”container-title“：[“2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2814270.2814315“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，“date-time”：“2023-09-04T22:29:49Z”，“timestamp”：1693866589000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814315”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2015,10,23]]}”，“references-count”：39，“alternative-id“：[”10.1145\/2814270.2814315“，”10.1145\/2814270“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2814270.2814315“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2858965.28143150“，”asserted-by“：”object“}]}，”subject“：[]，”published“：”{“date-parts”：[[2015,10,23]]}、”assertion“：[[{“value”：“2015-10-23”，“order”：2，“name”：“published”，“标签“：”已发布“，”组“：{“name”：“publication_history”，“label”：“出版历史“}}]}}