Wiktionary
subtype polymorphism
n. (context programming language theory English) (synonym of subtyping English)