Précédent : Europe Remonter : Actions internationales Suivant : Diffusion des résultats

Amérique

Xavier Leroy est membre invité du comité ML2000, qui réunit un certain nombre de spécialistes travaillant sur ML et la sémantique, dans le but de concevoir une version modernisée du langage ML intégrant les avancées récentes dans ce domaine. Xavier Leroy a participé aux réunions de janvier et août 1996 de ce comité.