To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 15/12/08 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
                    http://pauillac.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                          Lundi 15 décembre, 10h30

                                ------------
                                Alain Frisch
                                ------------

                                   LexiFi

                             =================
                             OCaml chez LexiFi
                             =================

LexiFi est un éditeur de logiciels spécialisé dans le domaine de la
finance: modélisation, gestion et analyse des produits dérivés complexes.

La plus grande partie de nos applications est implémentée en Objective
Caml. En fait, nous maintenons et distribuons une version de Caml
étendue avec quelques traits spécifiques à notre domaine applicatif,
ainsi qu'avec quelques améliorations généralistes. Nous attachons
beaucoup de valeur à cette maîtrise du compilateur.

Cet exposé, fort peu scientifique, abordera les thèmes suivants:

- extensions généralistes développées chez LexiFi: types dynamiques,
types locaux, modules de première classe, arguments implicites, ...;

- technologie de génération automatique d'interfaces utilisateur à
partir de types Caml;

- technologie d'interfaçage de haut niveau entre OCaml et C# / .Net;

- démonstration d'un petit environnement de développement Caml destiné à
nos clients.