📝Algebraic Subtyping

Theory books recommendations:

theory: