{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T00:48:20Z","timestamp":1760143700382,"version":"build-2065373602"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","funder":[{"name":"Institute for Information & communications Technology Planning & Evaluation(IITP)","award":["RS-2022- II221200"],"award-info":[{"award-number":["RS-2022- II221200"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,12]]},"DOI":"10.1145\/3758316.3765483","type":"proceedings-article","created":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T14:04:41Z","timestamp":1760105081000},"page":"52-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Type Checking for Python using Intersection Types"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1388-6047","authenticated-orcid":false,"given":"Mingyeong","family":"Jeong","sequence":"first","affiliation":[{"name":"Chungnam National University, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7107-5590","authenticated-orcid":false,"given":"Sungho","family":"Lee","sequence":"additional","affiliation":[{"name":"Chungnam National University, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. 2002. Modular Static Program Analysis. In Compiler Construction R. Nigel Horspool (Ed.). 159\u2013179.","DOI":"10.1007\/3-540-45937-5_13"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"F Khan et al. 2021. An Empirical Study of Type-Related Defects in Python Projects. https:\/\/doi.org\/10.1109\/TSE.2021.3082068 IEEE Transactions on Software Engineering. 10.1109\/TSE.2021.3082068","DOI":"10.1109\/TSE.2021.3082068"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2012.6240483"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549114"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Jeremy Siek and Walid Taha. 2006. Gradual typing for functional languages. Scheme and Functional Programming.","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(09)01205-4"}],"event":{"name":"SPLASH '25: 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Singapore Singapore","acronym":"SPLASH '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T14:05:08Z","timestamp":1760105108000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3758316.3765483"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":6,"alternative-id":["10.1145\/3758316.3765483","10.1145\/3758316"],"URL":"https:\/\/doi.org\/10.1145\/3758316.3765483","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"2025-10-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}