polymorphism

in programming languages and type theory, accessing different types using a common interface