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