Typage et objets

• Synthèse de type en présence de sous-typage
• Vers une intégration des objets dans le langage ML
• Fonctions génériques et programmation par objets