JFLA 2003: Chamrousse, France

Jean-Christophe Filliâtre (Ed.): Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003. Collection Didactique INRIA 2003 BibTeX

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