The type-theoretic foundations of polymorphism are closely related to those of abstraction, modularity and (in some cases) subtyping.
Typově teoretické základy polymorfizmu úzce souvisí s abstrakcí, modularitou a (v některých případech) s podtypy.