Object-Oriented Programming A Unified Foundation

Focusing on the evolution of polymorphism, this book delves into the often-overlooked topic of overloading, highlighting its significance in programming languages, particularly with the rise of object-oriented paradigms. It presents a new framework for understanding run-time overloading and its relationship with subtyping and parametric polymorphism. The text also addresses practical applications in object-oriented programming and clarifies complex issues like covariance and contravariance, culminating in a synthesis of parametric and overloading polymorphism.