DARTS.9.2.1.pdf
- Filesize: 0.49 MB
- 4 pages
Document
Python Type Hints Are Turing Complete (Artifact)
Author
Ori Roth 
-
Part of:
Issue:
Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Volume: DARTS, Volume 9 (ECOOP 2023)
Conference: European Conference on Object-Oriented Programming (ECOOP)
Journal: Dagstuhl Artifacts Series (DARTS) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-07-11
Artifact Description
Document Identifiers
Author Details
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)
https://doi.org/10.4230/DARTS.9.2.1
https://doi.org/10.4230/DARTS.9.2.1
Artifact
DARTS-9-2-1-artifact-9f1a321947a77a3144d2dfc75f72a5b7.tar
(Filesize: 0.64 GB)
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
Abstract
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
Keywords
- nominal Subtyping with Variance
- Python
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads