Précédent : Présentation du projet Remonter : Projet CRISTAL Suivant : Implémentation de Caml

Actions de recherche

• Implémentation de Caml
  • Objective Caml
  • Objective Caml sous Microsoft Windows
  • Outils syntaxiques
• Outils pour le Web
  • MMM
  • V6
  • Les protocoles et la sécurité sur le Web
  • Verified Internet Protocols
• Modularité
  • Systèmes de modules
  • Ajout d'une construction conditionnelle dans les modules
• Systèmes de types
  • Typage des objets
  • Sous-typage
  • Types intersection
  • Polymorphisme extensionnel
  • Preuves formelles de synthétiseurs de types
  • ASN.1
• Arithmétique
• Calcul distribué
  • Join-calcul distribué
  • Calcul distribué et le langage Scheme