Xavier Leroy

Collège de France

Science du logiciel

Année 2022-2023

Structures de données persistantes

Séminaire - Pierre-Etienne Meunier : Une algèbre de modifications, ou : le contrôle de versions pour tous