The Y Combinator Explained in Python

MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types

Demystifying MLsub – The Simple Essence of Algebraic Subtyping

The Simple Essence of the Y Combinator (Explained in Python)