Couvre les fonctions mathématiques, y compris les fonctions logarithmiques, exponentielles et trigonométriques, ainsi que les limites et les types de fonctions.
Explore l'inférence de type dans les langages typés statiquement, en utilisant des algorithmes pour attribuer des types aux expressions de programme avec précision.
