Hashing and SortingCovers hashing, sorting, extendible hashing, linear hashing, and external sorting.
Merge Sort: Divide-and-ConquerIntroduces Merge Sort, a divide-and-conquer algorithm for efficient array sorting, discussing correctness, runtime analysis, linear-time merging, and recurrence solving techniques.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.