Subtyping is one form of type polymorphism. Others include:

- parametric polymorphism (generics, templates, ...)

- ad hoc polymorphism (type classes are the nicest example)

- https://en.wikipedia.org/wiki/Row_polymorphism I think this one is the most relevant for the record discussion.