# Type-Based Cost Analysis for Lazy Functional Languages

> Research article (Journal of Automated Reasoning, 2017) · cited 22× · AI/ML

**Wikidata**: [openalex:W2569392808](https://www.wikidata.org/wiki/openalex:W2569392808)  
**Source**: https://4ort.xyz/entity/type-based-cost-analysis-for-lazy-functional-languages