# Practical SMT-based type error localization

> Research article (Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015) · cited 25× · AI/ML

**Wikidata**: [openalex:W2026790447](https://www.wikidata.org/wiki/openalex:W2026790447)  
**Source**: https://4ort.xyz/entity/practical-smt-based-type-error-localization