Published May 5, 2023 | Version 1.1
Software Open

Python Typing Machines 1.1

Authors/Creators

  • 1. Technion

Description

Artifact accompanying ECOOP 2023 paper "Python Type Hints are Turing Complete".

Files

LICENSE.txt

Files (693.0 MB)

Name Size Download all
md5:9984fdbe50ad6e9ed007ee297a7e78f8
11.3 kB Preview Download
md5:9f1a321947a77a3144d2dfc75f72a5b7
693.0 MB Download
md5:b53f2d6c57ba12667df7f9f73bb7806c
6.8 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/OriRoth/python-typing-machines/tree/release1.0 (URL)