Matías Toro, Ronald Garcia, Éric Tanter. Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16. ACM Transactions on Programming Languages and Systems, 42(2), 2020. [doi]
@article{ToroGT20,
title = {Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16},
author = {Matías Toro and Ronald Garcia and Éric Tanter},
year = {2020},
doi = {10.1145/3387725},
url = {https://doi.org/10.1145/3387725},
researchr = {https://researchr.org/publication/ToroGT20},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {42},
number = {2},
}