Slide 1 Polymorphism Discrete Mathematics and Its Applications Baojian Hua [email protected] Slide 2 Variables and Types Languages such as C, C++ or Java are called statically-typed…