Software Open Access

MaxSMT-Based Type Inference for Python 3 - Artifact

Hassan, Mostafa; Urban, Caterina; Eilers, Marco; Müller, Peter


BibTeX Export

@software{hassan_mostafa_2018_3996670,
  author       = {Hassan, Mostafa and
                  Urban, Caterina and
                  Eilers, Marco and
                  Müller, Peter},
  title        = {{MaxSMT-Based Type Inference for Python 3 - 
                   Artifact}},
  month        = jul,
  year         = 2018,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3996670},
  url          = {https://doi.org/10.5281/zenodo.3996670}
}
57
7
views
downloads
All versions This version
Views 5757
Downloads 77
Data volume 16.7 GB16.7 GB
Unique views 5555
Unique downloads 77

Share

Cite as