Couvre les types polymorphes dans Amy, y compris les règles Hindley-Milner, les schémas de type, l'instanciation et la gestion des variables de type dans les fonctions.
Présente MATLAB et GNU Octave, couvrant les concepts de base, l'espace de travail, les types de données, les matrices, l'installation et l'utilisation pratique.