Work

Python Type Hints Are Turing Complete (Artifact)

Year: 2023

Type: article

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.

Source: DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

DOI: 10.4230/darts.9.2.1

Author: Roth, Ori

Institution: Technion – Israel Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6929386577

FWCI:

Cites:

Cited by:

Related to: 10