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
Abstract
No abstract available.
Related papers
- Corrigendum to "Cross-Language Interoperability in a Multi-Language Runtime", by Grimmer et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 2, Article No. 8 TOPLAS 2018
- Corrigendum: a new, simpler linear-time dominators algorithm TOPLAS 2005
- Type-Driven Gradual Security with References TOPLAS 2018
- Quest Complete: The Holy Grail of Gradual Security PLDI 2024
- Abstracting Gradual References (SCICO Journal-first) ECOOP 2020
- Editorial: A changing of the guard TOPLAS 2007
- La dolce vita at TOPLAS TOPLAS 2010
- Corrigendum: Falcon: A Scalable Analytical Cache Model PLDI 2026