# Computing correctly with inductive relations

> Research article (Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022) · cited 13× · AI/ML

**Wikidata**: [openalex:W4281705085](https://www.wikidata.org/wiki/openalex:W4281705085)  
**Source**: https://4ort.xyz/entity/computing-correctly-with-inductive-relations