Python Type Hints Are Turing Complete (Artifact)

Author Ori Roth

Thumbnail PDF

Artifact Description

  • Filesize: 0.49 MB
  • 4 pages

Document Identifiers

Author Details

Ori Roth
  • Department of Computer Science, Technion, Haifa, Israel

Cite AsGet BibTex

Ori Roth. Python Type Hints Are Turing Complete (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2023 Call for Artifacts and the ACM Artifact Review and Badging Policy


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.

Subject Classification

ACM Subject Classification
  • Software and its engineering → General programming languages
  • nominal Subtyping with Variance
  • Python


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads