MOOC sur OCaml arrive! Ce MOOC sera animé par Roberto Di Cosmo (IRILL), Ralf Treinen (IRILL) & Yann Regis-Gianas (Université Paris-Diderot). Inscriptions et plus d'informations