Polymorphic Types in AmyCovers polymorphic types in Amy, including Hindley-Milner rules, type schemes, instantiation, and handling type variables in functions.
Diagonalizable GroupsExplores the concept of diagonalizable groups and their properties in linear algebraic groups.
Equivalent Schemes: MagnetsDiscusses the relationship between magnetic field intensity and magnetic flux density in equivalent schemes for magnets.