Higher-Order Functions: LambdaExplores higher-order functions and lambda expressions in Python, showcasing their practical applications and concise syntax.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Type InferenceExplores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Functions as ObjectsCovers the expansion of function values and calls, and the relationship between functions and methods.
Matlab Programming IIICovers advanced Matlab programming topics such as cell arrays, 3D surfaces, and interpolation.