The Cristal project ended in 2005. A successor project isGallium.
The Cristal team investigated the design, implementation andtheoretical foundations of strongly-typed programming languages.We particularly focused on functional, object-oriented, and modularprogramming languages. TheCamllanguage embodies many of our research results. Our work spansthe whole spectrum from theoretical foundations and formal semanticsto language design, efficient and robust implementations, andapplications to real-world problems.
A more complete presentation of Cristal is available as part of ouryearly activity report.
Last members of project Cristal:Sandrine Blazy (assistant professor, CNAM)Damien Doligez (research scientist) Alain Frisch (research associate, corps des Télécoms) Xavier Leroy (senior research scientist, team leader) Michel Mauny (senior research scientist) François Pottier (research scientist) Didier Rémy (senior research scientist, vice-leader) Pierre Weis (senior research scientist) Gérard Huet (associate senior research scientist, also with the Signes project) Berke Durak (technical staff) Richard Bonichon (PhD student) Nelly Maloisel (administrative assistant) Past members:Daniel BonniotPascal Cuoq (research engineer, CEA) Roberto Di Cosmo (professor, university Paris 7) Jun Furuse (research scientist,Yonezawa lab, university of Tokyo) Robert Harley (founder,Argotech) Tom Hirschowitz (CNRS research scientist,LIP lab, ENS Lyon) Bruno Pagano (engineer,Esterel Technologies) Didier Le Botlan (post-doc, Saarland University) François Pessaux (engineer,Surlog S.A.) Daniel de Rauglaudre(INRIA, project Contraintes) Christian Rinderknecht (engineer,PolySpace Technologies) François Rouaix (Amazon.com) Emilie Sayag (engineer, Alcatel) Bruno Verlyck (research engineer, INRIA, MIRIAD) Vincent Simonet (engineer, Areva) Basile Starynkevitch (research engineer, CEA) Jérôme Vouillon(CNRS research scientist,PPS lab) | Caml:The Caml languageTheObjective Caml compiler. TheCaml Light compiler. TheObjective Caml and Caml Light programming examples. Other software developments:Active DVI,a programmable DVI viewer with fancy graphics effects, great formaking LaTeX presentations.WhizzyTeX,a WYSIWYG Emacs mode for editing LaTeX documents. The Cristalanonymous FTP. Other resources fromvirtual building 8. |