Projet Cristal

                               RA 1996     RA 1998
Suivant : Composition de l'équipe

Projet CRISTAL

Programmation typée, modularité et compilation

Rapport d'activité de 1997

Page de présentation du projet - Rapport d'activité au format   PostScript  ou  PDF

Localisation : Rocquencourt

Mots-clés : Caml, cartes à puce, compilation, environnement de programmation, génération de code, lambda-calcul, programmation fonctionnelle, typage, world wide web