Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                          Salle Lions 1, bâtiment C
                          Mercredi 8 février, 10h30

                               Clément Blaudeau
                                 Inria Paris

                          Retrofitting OCaml modules
              An Fω-inspired approach for a modern module system

ML modules offer large-scale notions of composition and modularity. Provided
as an additional layer on top of the core language, they have proven both vital
to the working OCaml and SML programmers, and inspiring to other use-cases and
languages. Unfortunately, their meta-theory remains difficult to comprehend, and
more recent extensions (abstract signatures, module aliases) lack a complete
formalization. Building on a previous translation from ML modules to Fω, we
propose a new comprehensive description of a significant subset of OCaml
modules, including both applicative and generative functors and transparent
ascription -- a useful new feature. By exploring the translations both to and
from Fω, we provide a complete description of the signature avoidance issue, as
well as insights on the limitations and benefits of the path-based approach of
OCaml type-sharing.

  [Note de l'organisateur: attention au jour inhabituel, MERCREDI 8 février]

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct:
                  https://webconf.math.cnrs.fr/b/fra-ryy-fjn