# Type-Driven Gradual Security with References

> Research article (ACM Transactions on Programming Languages and Systems, 2018) · cited 45× · AI/ML

**Wikidata**: [openalex:W2904756193](https://www.wikidata.org/wiki/openalex:W2904756193)  
**Source**: https://4ort.xyz/entity/type-driven-gradual-security-with-references