# The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl)

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

**Wikidata**: [openalex:W3047158069](https://www.wikidata.org/wiki/openalex:W3047158069)  
**Source**: https://4ort.xyz/entity/the-simple-essence-of-algebraic-subtyping-principal-type-inference-with-subtyping-made-easy-functional-pearl