{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:14Z","timestamp":1750220474143,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,17]]},"DOI":"10.1145\/3486610.3486892","type":"proceedings-article","created":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T02:02:10Z","timestamp":1634436130000},"page":"22-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Implementing path-dependent GADT reasoning for Scala 3"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2089-6767","authenticated-orcid":false,"given":"Yichen","family":"Xu","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications, China"}]},{"given":"Aleksander","family":"Boruch-Gruszecki","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Lionel","family":"Parreaux","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"Nada Amin Samuel Gr\u00fctter Martin Odersky Tiark Rompf and Sandro Stucki. 2016. The Essence of Dependent Object Types. In A List of Successes That Can Change the World.  Nada Amin Samuel Gr\u00fctter Martin Odersky Tiark Rompf and Sandro Stucki. 2016. The Essence of Dependent Object Types. In A List of Successes That Can Change the World.","DOI":"10.1007\/978-3-319-30936-1_14"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660216"},{"key":"e_1_3_2_2_3_1","unstructured":"Aleksander Boruch-Gruszecki. 2017. Verifying the totality of pattern matching in Scala. Master\u2019s thesis. Wroc\u0142 aw University of Science and Technology.  Aleksander Boruch-Gruszecki. 2017. Verifying the totality of pattern matching in Scala. Master\u2019s thesis. Wroc\u0142 aw University of Science and Technology."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/203095.203096"},{"key":"e_1_3_2_2_5_1","unstructured":"J. Cheney and R. Hinze. 2003. First-Class Phantom Types.  J. Cheney and R. Hinze. 2003. First-Class Phantom Types."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96721"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489842"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371077"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136003"},{"key":"e_1_3_2_2_11_1","volume-title":"Programming in Scala: Updated for Scala 2.12","author":"Odersky Martin","unstructured":"Martin Odersky , Lex Spoon , and Bill Venners . 2016. Programming in Scala: Updated for Scala 2.12 ( 3 rd ed.). Artima Incorporation , Sunnyvale, CA, USA . isbn:0981531687 Martin Odersky, Lex Spoon, and Bill Venners. 2016. Programming in Scala: Updated for Scala 2.12 (3rd ed.). Artima Incorporation, Sunnyvale, CA, USA. isbn:0981531687","edition":"3"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3337932.3338813"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360571"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_30"},{"key":"e_1_3_2_2_15_1","unstructured":"Rados\u0142aw Wa\u015bko. 2020. Formal foundations for GADTs in Scala.  Rados\u0142aw Wa\u015bko. 2020. Formal foundations for GADTs in Scala."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"}],"event":{"name":"SPLASH '21: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SPLASH '21"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486610.3486892","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486610.3486892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:40Z","timestamp":1750193320000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486610.3486892"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":16,"alternative-id":["10.1145\/3486610.3486892","10.1145\/3486610"],"URL":"https:\/\/doi.org\/10.1145\/3486610.3486892","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}