Titre : Une bibliothèque de typage dynamique en OCaml

Auteur : Julien Signoles  (CEA-LIST)

Abstract : 

Cet exposé présente une bibliothèque OCaml fournissant une
représentation dynamique des types monomorphes, y compris pour les
instances des types polymorphes et les types de données
abstraits. Elle permet ainsi de voir les types OCaml comme des
citoyens de première classe. Elle comble aussi le fossé séparant OCaml
des langages dynamiques en mêlant vérifications statiques et
dynamiques des types. Nous nous concentrons ici sur le coeur de son
implantation, ses propriétés théoriques et l'usage qui en est fait
dans Frama-C, plateforme logicielle libre d'analyse statique de
programmes C au sein de laquelle cette bibliothèque est distribuée.