Object-Oriented Programming A Unified Foundation

The book delves into the concept of run-time overloading, highlighting its significance in modern programming languages, especially object-oriented ones. It contrasts overloading with parametric polymorphism, emphasizing that while the latter has received extensive study, overloading's importance has only recently been recognized. The text explores the interplay between overloading, subtyping, and parametric polymorphism, addressing complexities in method types and type analysis. Ultimately, it aims to synthesize these two forms of polymorphism, providing a comprehensive framework for understanding their applications in programming.