Les exposés seront les suivants:
-Jacques Garrigue, Implémentation légère des types linéaires avec des lenses et des monades. - Yann Régis-Gianas, Learn OCaml - Gabriel Scherer, Portage du parseur OCaml du compilateur de ocamlyacc vers Menhir.
Les exposés seront les suivants:
-Jacques Garrigue, Implémentation légère des types linéaires avec des lenses et des monades. - Yann Régis-Gianas, Learn OCaml - Gabriel Scherer, Portage du parseur OCaml du compilateur de ocamlyacc vers Menhir.