当前位置:
X-MOL 学术
›
ACM Trans. Program. Lang. Syst.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
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 ( IF 1.5 ) Pub Date : 2020-05-18 , DOI: 10.1145/3387725 toro
中文翻译:
Toro等人撰写的“带有引用的类型驱动的逐步安全性”勘误,ACM编程语言和系统交易(TOPLAS)第40卷,第4期,第16号
更新日期:2020-05-18
ACM Transactions on Programming Languages and Systems ( IF 1.5 ) Pub Date : 2020-05-18 , DOI: 10.1145/3387725 toro
No abstract available.
中文翻译:
Toro等人撰写的“带有引用的类型驱动的逐步安全性”勘误,ACM编程语言和系统交易(TOPLAS)第40卷,第4期,第16号
没有摘要。