Jeff Smits, Eelco Visser. Gradually Typing Strategies - Artifact. Zenodo, September 2020. [doi]
@misc{SmitsV20-Artifact,
title = {Gradually Typing Strategies - Artifact},
author = {Jeff Smits and Eelco Visser},
year = {2020},
month = {September},
doi = {10.5281/zenodo.4032445},
url = {https://doi.org/10.5281/zenodo.4032445},
researchr = {https://researchr.org/publication/SmitsV20-Artifact},
cites = {0},
citedby = {0},
howpublished = {Zenodo},
}