Amphithéâtre Guillaume Budé, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles
-

Résumé

Au contraire de la programmation fonctionnelle pure, la programmation système doit gérer des ressources limitées par la physique de la machine : mémoire, fichiers, etc. Il faut en particulier assurer que ces ressources ne sont ni dupliquées ni perdues. Le conférencier a développé le concept de linéarité comme discipline de programmation système, mais aussi sous l’angle de la logique linéaire, en enfin sous forme de systèmes de types comme celui du langage Rust.

Intervenants

Guillaume Munch-Maccagnoni