Python Type Hints Are Turing Complete (Artifact)

Roth, Ori

Open PDF

Open link

Publication date

January 2023

DOI

10.4230/DARTS.9.2.1

Publisher

DARTS - Dagstuhl Artifacts Series. DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)

Language

English

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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Python Type Hints Are Turing Complete (Artifact)

Abstract

Extracted data

Python Type Hints Are Turing Complete (Artifact)

Abstract

Extracted data

Related items

Related items