2026-07-22T19:33:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18241 2024-03-06T11:05:18Z ddc:004 open_access

Python Type Hints Are Turing Complete (Artifact) Roth, Ori nominal Subtyping with Variance Python The artifact comprises a Docker image (virtual environment) containing the source code and experiments setup mentioned in the paper. The artifact is available on Zenodo. The anonymous version submitted to the ECOOP Artifact Evaluation Committee (AEC) is also available on Zenodo. The project is maintained on GitHub. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ori Roth 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.1 urn:nbn:de:0030-drops-182418 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.1 eng https://creativecommons.org/licenses/by/4.0/legalcode