{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T09:16:58Z","timestamp":1758619018036,"version":"3.44.0"},"reference-count":9,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.427.6","type":"journal-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T12:57:07Z","timestamp":1757941027000},"page":"79-97","source":"Crossref","is-referenced-by-count":0,"title":["Navigating the Python Type Jungle"],"prefix":"10.4204","volume":"427","author":[{"given":"Andrei","family":"Nacu","sequence":"first","affiliation":[{"name":"Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\u015fi"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dorel","family":"Lucanu","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\u015fi"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2720","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"issue":"10","key":"c3paper","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236343","article-title":"A monotonic superclass linearization for Dylan","volume":"31","author":"Barrett","year":"1996","journal-title":"SIGPLAN Not."},{"key":"cardellisemantics","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","article-title":"A semantics of multiple inheritance","volume-title":"Semantics of Data Types","author":"Cardelli","year":"1984"},{"issue":"4","key":"cardelli","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042","article-title":"On understanding types, data abstraction, and polymorphism","volume":"17","author":"Cardelli","year":"1985","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"liskov1994","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383","article-title":"A behavioral notion of subtyping","volume":"16","author":"Liskov","year":"1994","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"mitchellexistential","series-title":"POPL '85","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318606","article-title":"Abstract Types Have Existential Type","volume-title":"Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"Mitchell","year":"1985"},{"key":"monatecoop","series-title":"Leibniz International Proceedings in Informatics (LIPIcs)","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.17","article-title":"Static Type Analysis by Abstract Interpretation of Python Programs","volume-title":"34th European Conference on Object-Oriented Programming (ECOOP 2020)","volume":"166","author":"Monat","year":"2020"},{"key":"nacujlamp","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2024.101032","article-title":"Towards a type-based abstract semantics for Python","volume":"143","author":"Nacu","year":"2025","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"volume-title":"Types and programming languages","year":"2002","author":"Pierce","key":"pierce-tpl"},{"volume-title":"Fluent Python: Clear, Concise, and Effective Programming","year":"2015","author":"Ramalho","key":"ramalho2015fluent"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T08:17:42Z","timestamp":1758615462000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2509.13022v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"references-count":9,"URL":"https:\/\/doi.org\/10.4204\/eptcs.427.6","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,9,16]]}}}