# Type soundness for dependent object types (DOT)

> Research article (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2016) · cited 59× · AI/ML

**Wikidata**: [openalex:W2536396847](https://www.wikidata.org/wiki/openalex:W2536396847)  
**Source**: https://4ort.xyz/entity/type-soundness-for-dependent-object-types-dot