Table des matières

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Le langage Caml
    • L'implémentation Caml Light
    • L'implémentation Caml Special Light
    • Bigloo
    • Boîte à outils graphique
  • Processus communicants en Caml Light
  • Le navigateur Web MMM
  • Recherche de composants logiciels réutilisables
  • Modularité
  • 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
  • Reconstruction dynamique de types
  • Typage et programmation distribuée
    • Interopérabilité et langages d'interfaces
    • Distribution et objets
  • Typage et contrôle explicite dans les langages fonctionnels
  • Évaluation partielle
  • Interprétation abstraite
  • Le langage Griffin
  • Syntaxes extensibles
• Actions industrielles
  • Projet Eurêka SCI
  • SAGEM
• Actions nationales et internationales
  • Actions nationales
  • Activités éditoriales
  • Activités internationales
  • Divers
• Diffusion des résultats
  • Diffusion de produits
  • Actions d'enseignement
    • Enseignement universitaire
    • Séminaires et formation permanente
    • Jurys de thèse
  • Participation aux manifestations
• Références
• Abstract