Séances de cours associées à Sans titre

Le calcul Lambda et la sécurité des types: un aperçu

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Types de données C avancés

Couvre les types de données avancés et la gestion de la mémoire en programmation C, en mettant l'accent sur la cohérence des types et l'allocation dynamique des tableaux.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Lubrification: Ingénierie

Explore l'importance de la lubrification dans la réduction de la consommation d'énergie et son impact économique au cours des 15 prochaines années.