- Lionel Parreaux, The Simple Essence of Algebraic Subtyping (Functional Pearl)
- Lionel Parreaux, The Simple Essence of Algebraic Subtyping (Scala Code)
- Subtype Inference by Example (Series of blog posts)
- Stephen Dolan, Algebraic Subtyping (PhD Thesis)
- Stephen Dolan, Alan Mycroft, Polymorphism, Subtyping and Type Inference in MLsub
- Polymorphism, Subtyping and Type Inference in MLsub, POPL2017 Presentation (Youtube)
- Subtyping the Calculus of Constructions(Github)