Couvre la géométrie algébrique moderne, se concentrant sur les schémas et les schémas d'affines, y compris un examen de la géométrie algébrique classique et le théorème de Bézout.
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.
