Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Functions in PythonIntroduces functions in Python, covering predefined and user-defined functions, formal and effective parameters, and the importance of docstrings.
Functions as ObjectsCovers the expansion of function values and calls, and the relationship between functions and methods.
Operator Overloading in C++Explores practical aspects of operator overloading in C++, emphasizing the importance of careful implementation to avoid performance issues.
