Théorie de la langue dans la pratique

Cette séance de cours s'inscrit dans l'application pratique de la théorie du langage, couvrant des sujets tels que l'implémentation de tri rapide dans l'assemblage et C/C++, le typage progressif, les datatypes algébriques et la gestion efficace de la mémoire. Il explore la synthèse de stratégies de parallélisme efficaces pour les systèmes d'apprentissage automatique distribués à grande échelle et les défis de la synthèse des programmes de réduction. L'instructeur présente des recherches sur le comptage précis des références avec réutilisation, calcul linéaire des ressources, et l'espace de conception pour la logique linéaire. La séance de cours se termine par des travaux futurs sur la conception, la mise en oeuvre et la programmation de langages pour des domaines plus vastes.