Page "Polymorphism (computer science)" Paragraph 1

There are several fundamentally different kinds of polymorphism, two of which were originally informally described by Christopher Strachey in 1967.

If the function denotes different and potentially heterogeneous implementations depending on a limited range of individually specified types and combination, it is called ad-hoc polymorphism.

Ad-hoc polymorphism is supported in many languages using function and method overloading.