Abstract is missing.
- OCaml dans l industrie financière: expérience industrielle d une utilisation intensive et stratégique du langage OCaml dans un projet novateurJean-Marc Eber. 1-2
- Les avertissements du filtrageLuc Maranget. 3-20
- Calcul statique des applications de modules paramétrésJulien Signoles. 21-36
- Another Implementation Technique for Functional Programming LanguagesRabéa Boulifa, Mohamed Mezghiche. 37-48
- Un système X Raisonner formellement sur les programmes MLSylvain Baro, Pierre Manoury. 49-62
- Réutilisation de preuves formelles : une étude pour le système FoCCatherine Dubois, J. Grandguillot, Mathieu Jaume. 63-75
- Filtrage et règles de réécriture sur des structures indexées par des groupesJulien Cohen, Olivier Michel, Jean-Louis Giavitto. 77-92
- Du fonctionnel en prépaAlain Chillès. 93-94
- A Parametrized Polyvariant Bytecode VerifierLudovic Henrio, Bernard P. Serpette. 95-110
- Analyse de robustesse de systèmes avioniquesYamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels. 111-124
- L expérience SCOL, un langage pour des applications internet multi-utilisateursAnne-Gwenn Bosser, Francisco Alberti. 125-138
- CamlG4 : une bibliothèque de calcul parallèle pour Objective CamlJoel Falcou, Jocelyn Sérot. 139-152
- Synthèse de types pour Bulk Synchronous Parallel MLFrédéric Gava, Frédéric Loulergue. 153-168