Le projet Cristal s'est arrêté en 2005. Le projet Gallium lui succède.

Le projet Cristal travaillait à la conception, à l'implémentation et à l'établissement des fondements théoriques des langages de programmation fortement typés. Nous nous intéressions en particulier aux langages fonctionnels, à objets, et modulaires. Le langage Caml incarne de nombreux résultats de notre recherche. Notre travail couvrait tout le spectre allant des fondations théoriques et de la sémantique formelle à la conception de langages, leur implémentation efficace et robuste, et leurs applications à des problèmes réalistes.

Pour plus d'information sur le projet Cristal, on peut se reporter à la présentation officielle du projet, ainsi qu'à notre rapport annuel d'activité (en anglais).

Derniers membres du projet Cristal: Sandrine Blazy (MCF CNAM, en délégation) Damien Doligez (chargé de recherche) Alain Frisch (chercheur détaché du corps des Télécoms) Xavier Leroy (directeur de recherche, responsable scientifique) Michel Mauny (directeur de recherche) François Pottier (chargé de recherche) Didier Rémy (directeur de recherche, responsable permanent) Pierre Weis (directeur de recherche) Gérard Huet (directeur de recherche, aussi au projet Signes) Berke Durak (ingénieur expert) Maxence Guesdon (ingénieur de recherche) Virgile Prevosto (ingénieur expert) Richard Bonichon (doctorant) Zaynah Dargaye (doctorante) Nadji Gauthier (doctorant) Yann Regis-Gianas (doctorant) Boris Yakobowski (doctorant) Nelly Maloisel (assistante de projet) Anciens membres: Daniel Bonniot Pascal Cuoq (ingénieur de recherche, CEA) Roberto Di Cosmo (professeur U. Paris 7) Jun Furuse (chercheur, labo Yonezawa, université de Tokyo) Benjamin Grégoire (chargé de recherche, INRIA Sophia-Antipolis) Robert Harley (fondateur Argotech) Tom Hirschowitz (chargé de recherche CNRS, labo LIP, ENS Lyon) Bruno Pagano (ingénieur, Esterel Technologies) Didier Le Botlan (post-doc, École des Mines de Nantes) François Pessaux (ingénieur, Surlog S.A.) Daniel de Rauglaudre (INRIA, projet Contraintes) Christian Rinderknecht (ingénieur, PolySpace Technologies) François Rouaix (Amazon.com) Emilie Sayag (ingénieur, Alcatel) Bruno Verlyck (ingénieur de recherche, INRIA, MIRIAD) Vincent Simonet (ingénieur, Areva) Basile Starynkevitch (ingénieur de recherche, CEA) Jérôme Vouillon (chargé de recherche CNRS, labo PPS)

Caml: Le langage Caml Le compilateur Objective Caml. Le compilateur Caml Light. Les exemples de programmes en Objective Caml et Caml Light. Autres logiciels: Active DVI, un afficheur DVI programmable avec de jolis effets graphiques, idéal pour faire des exposés en LaTeX. WhizzyTeX, un mode Emacs WYSIWYG pour l'édition de documents LaTeX. Le FTP anonyme du projet Cristal. Les autres ressources du bâtiment 8 virtuel.