# Semantic subtyping for imperative object-oriented languages

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

**Wikidata**: [openalex:W2533653484](https://www.wikidata.org/wiki/openalex:W2533653484)  
**Source**: https://4ort.xyz/entity/semantic-subtyping-for-imperative-object-oriented-languages