GdT programmation / séminaire IRILL

RSS

Renouveau de l'intégration en OCaml

Tuesday, April 14, 2015
Pierre Chambard (ocamlpro)

OCaml n'est pas vraiment un compilateur optimisant, en particulier, sa passe d'intégration est très limitée. Nous vous présenterons comment nous avons choisi de le faire évoluer, et quelles implications techniques ont eut les contraintes 'sociales'. Il n'y a aucune nouveauté scientifique, mais un certain nombre de retours pratiques.

More details here …
Emmanuel.Chailloux (at) nulllip6.fr