Toggle navigation
Index
Publications
Projets
Propositions
ANRJCJC CoGITARe
Stage/thèses
Enseignement
Fontement de la prog.
Compilation
Principes de Prog
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.