Higher-Order Functions: LambdaExplores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.
Functions as ObjectsCovers the expansion of function values and calls, and the relationship between functions and methods.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.