{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T16:00:31Z","timestamp":1785340831387,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3794763.3794834","type":"proceedings-article","created":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:18:58Z","timestamp":1785338338000},"page":"478-482","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Hyalinos: From Type Inference to Community Knowledge"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4490-7451","authenticated-orcid":false,"given":"Larisa","family":"Safina","sequence":"first","affiliation":[{"name":"UMR 9189 CRIStAL, Univ. Lille, Inria, CNRS, Centrale Lille, Villeneuve-d'Ascq, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,29]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49538-X_2"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99621"},{"key":"e_1_3_3_1_4_2","unstructured":"John Aycock. 2000. Aggressive Type Inference. (2000). International Python Conference."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Jan Bliznicenko and Robert Pergl. 2025. Combining type inference techniques for semi-automatic UML generation from Pharo code. J. Comput. Lang. 82 (2025) 101300. 10.1016\/J.COLA.2024.101300","DOI":"10.1016\/J.COLA.2024.101300"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582168"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Giuseppe Castagna Micka\u00ebl Laurent and Kim Nguy\u1ec5n. 2024. Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8 POPL Article 40 (Jan. 2024) 32\u00a0pages. 10.1145\/3632882","DOI":"10.1145\/3632882"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_3_1_9_2","unstructured":"GitHub Blog. 2024. Octoverse: AI leads Python to top language as the number of global developers surges. https:\/\/github.blog\/news-insights\/octoverse\/octoverse-2024\/. Accessed: 2024-10-29."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96722"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1863597.1863608"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28728"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3426422.3426985"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2012.6240483"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384666"},{"key":"e_1_3_3_1_16_2","unstructured":"Nevena Milojkovi\u0107. 2017. Augmenting Type Inference with Lightweight Heuristics. PhD thesis. University of Bern. http:\/\/scg.unibe.ch\/archive\/phd\/lazarevic-phd.pdf"},{"key":"e_1_3_3_1_17_2","volume-title":"International Workshop on Smalltalk Technologies (IWST\u201914)","author":"Passerini Nicol\u00e1s","year":"2014","unstructured":"Nicol\u00e1s Passerini, Pablo Tesone, and St\u00e9phane Ducasse. 2014. An extensible constraint-based type inference algorithm for object-oriented dynamic languages supporting blocks and generic types. In International Workshop on Smalltalk Technologies (IWST\u201914)."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Fr\u00e9d\u00e9ric Pluquet Antoine Marot and Roel Wuyts. 2009. Fast type reconstruction for dynamically typed programming languages. SIGPLAN Not. 44 12 (Oct. 2009) 69\u201378. 10.1145\/1837513.1640145","DOI":"10.1145\/1837513.1640145"},{"key":"e_1_3_3_1_19_2","volume-title":"Proceedings of the International Workshop on Smalltalk Technologies (IWST)","author":"Safina Larisa","year":"2025","unstructured":"Larisa Safina, Jan Blizni\u010denko, and Robert Pergl. 2025. Even Lighter Than Lightweight: Augmenting Type Inference with Primitive Heuristics. In Proceedings of the International Workshop on Smalltalk Technologies (IWST). Gda\u0144sk, Poland."},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.5555\/1144607"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567553"},{"key":"e_1_3_3_1_22_2","unstructured":"Typeshed maintainers and contributors. 2025. Typeshed: Stubs for Python Standard Library and Third-Party Libraries. https:\/\/github.com\/python\/typeshed. GitHub repository."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Pauli Virtanen Ralf Gommers Travis\u00a0E. Oliphant et\u00a0al. 2020. SciPy 1.0: fundamental algorithms for scientific computing in Python. Nature Methods 17 (2020) 261\u2013272. 10.1038\/s41592-019-0686-2","DOI":"10.1038\/s41592-019-0686-2"}],"event":{"name":"ICPC '26: 34th IEEE\/ACM International Conference on Program Comprehension","location":"Rio de Janeiro , Brazil","acronym":"ICPC '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2026 34th IEEE\/ACM International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3794763.3794834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T15:20:20Z","timestamp":1785338420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3794763.3794834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":22,"alternative-id":["10.1145\/3794763.3794834","10.1145\/3794763"],"URL":"https:\/\/doi.org\/10.1145\/3794763.3794834","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}