Couvre la mise en œuvre simple des signaux et des Vars dans la programmation réactive fonctionnelle, y compris le maintien des dépendances et les types de fonctions implicites.
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.
Explore les types de fonctions implicites et leur application dans un système de gestion de séance de cours, en discutant du compromis entre les types et les termes dans les paramètres implicites.
