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.