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.
Hashing et triCouvre le hachage, le tri, le hachage extensible, le hachage linéaire et le tri externe.