subtyping

a form of type polymorphism

Categories: