# When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism

> Research article (Proceedings of the ACM on Programming Languages, 2024) · cited 10× · AI/ML

**Wikidata**: [openalex:W4390604884](https://www.wikidata.org/wiki/openalex:W4390604884)  
**Source**: https://4ort.xyz/entity/when-subtyping-constraints-liberate-a-novel-type-inference-approach-for-first-class-polymorphism