JFLA 2003: Chamrousse, France

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