default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFLA 2003: Chamrousse, France
- Jean-Christophe Filliâtre:
Journées francophones des langages applicatifs (JFLA'03), Chamrousse, France, Janvier 2003. Collection Didactique, INRIA 2003 - 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. JFLA 2003: 1-2 - Luc Maranget:
Les avertissements du filtrage. JFLA 2003: 3-20 - Julien Signoles:
Calcul statique des applications de modules paramétrés. JFLA 2003: 21-36 - Rabéa Boulifa, Mohamed Mezghiche:
Another Implementation Technique for Functional Programming Languages. JFLA 2003: 37-48 - Sylvain Baro, Pierre Manoury:
Un système X Raisonner formellement sur les programmes ML. JFLA 2003: 49-62 - Catherine Dubois, J. Grandguillot, Mathieu Jaume:
Réutilisation de preuves formelles : une étude pour le système FoC. JFLA 2003: 63-75 - Julien Cohen, Olivier Michel, Jean-Louis Giavitto:
Filtrage et règles de réécriture sur des structures indexées par des groupes. JFLA 2003: 77-92 - Alain Chillès:
Du fonctionnel en prépa. JFLA 2003: 93-94 - Ludovic Henrio, Bernard P. Serpette:
A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110 - Yamine Aït Ameur, Frédéric Boniol, S. Pairault, Virginie Wiels:
Analyse de robustesse de systèmes avioniques. JFLA 2003: 111-124 - Anne-Gwenn Bosser, Francisco Alberti:
L'expérience SCOL, un langage pour des applications internet multi-utilisateurs. JFLA 2003: 125-138 - Joel Falcou, Jocelyn Sérot:
CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml. JFLA 2003: 139-152 - Frédéric Gava, Frédéric Loulergue:
Synthèse de types pour Bulk Synchronous Parallel ML. JFLA 2003: 153-168
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-06 22:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
