Introduit des enregistrements, des variantes, des règles d'évaluation, des règles de dactylographie, des défis d'aliasing et des avantages dans les langages de programmation.
S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Examine les motifs d'enroulement des tiges minces élastiques sur des substrats rigides, en mettant l'accent sur le rôle de la courbure naturelle dans la formation des motifs.
