Toggle navigation
Index
Publications
Projets
Propositions
ANRJCJC CoGITARe
Stage/thèses
Enseignement
Fontement de la prog.
Compilation
Principes de Prog (old)
Prog. fonctionnelle (old)
LEE
Architecture et Systeme (old)
DIU-EIL
MISA
"Calculabilité et programmation fonctionnelle" en M2 MISA à Antananarivo Août 2019
Lives
Solutions des exercices OCaml
Algorithme d'inférence de types simples.
Exercices sur les arbres binaires de recherche.