<programming language> (Or "Operator overloading"). Use of a single symbol to represent operators with different argument types, e.g. "-", used either, as a monadic operator to negate an expression, or as a dyadic operator to return the difference between two expressions. Another example is "+" used to add either [..]

(computer science) 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 implementa [..]