Conception et realisation d'une extension du langage ml avec des objets

Les objets se sont imposes comme un concept informatique incontournable : les principaux langages de programmation utilises actuellement ont soit ete concus a la base pour permettre ce style de programmation, soient ont ete etendues avec les constructions necessaires. Le language ml est un langage fonctionnel statiquement type avec synthese de type. L'addition d'objets a ce langage s'avere difficile, notamment a cause des contraintes tres fortes necessaire afin de pouvoir synthetiser les types. Ce travail presente une extension de ce langage avec des objets et des classes qui s'integre bien avec les autres constructions de ml, tout en etant tres expressive. Nous decrivons en detail l'ensemble de cette extension : nous presentons le typage des objets et des classes, et montrons comment ces constructions sont compilees.