Etymology

Today it means: A kind of polymorphism where polymorphic functions can be applied to arguments of different types, as they can denote a number of distinct and potentially heterogeneous implementations depending on the types of argument to which they are applied. Full definition →