Cette séance de cours couvre le sous-typage, les génériques, la variance, les limites de type, la covariance, la contravariance, le principe de substitution de Liskov et la recherche combinatoire en utilisant des expressions. Il explore également la définition de la variance, de la hiérarchie de type, des règles de dactylographie des fonctions et des opérations sur des séquences comme des tableaux, des chaînes, des gammes et des vecteurs.