# Reconciling noninterference and gradual typing

> Research article (Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020) · cited 11× · AI/ML

**Wikidata**: [openalex:W3032336757](https://www.wikidata.org/wiki/openalex:W3032336757)  
**Source**: https://4ort.xyz/entity/reconciling-noninterference-and-gradual-typing