Polymorphisme et preuvesCouvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.
Analyse des algorithmesCouvre l'analyse des algorithmes, en se concentrant sur le tri d'insertion et les modèles de calcul.
Tri récursif: Fusionner TrierCouvre le concept de Merge Sort, un algorithme de tri récursif qui divise une liste en sous-listes jusqu'à ce que chaque sous-liste ait un élément.