Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Recursive Sorting: Merge SortCovers the concept of Merge Sort, a recursive sorting algorithm that divides a list into sublists until each sublist has one element.
Recursive Sorting AlgorithmsExplores recursive sorting algorithms, recursion, dynamic programming, and the efficiency of recursive solutions.