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.
Matías ToroRonald GarciaÉric TanterPublished in: ACM Trans. Program. Lang. Syst. (2020)
Keyphrases
- programming language
- strongly typed
- object oriented
- general purpose
- programming environment
- software engineering
- object oriented programming
- distributed systems
- lambda calculus
- database
- logic programming
- data abstraction
- database languages
- conceptual modeling
- functional programming
- program code
- open source
- high level