Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                            Salle A215, bâtiment A
                             Lundi 7 mars, 10h30

                             Nathanaëlle Courant
                                 Inria Paris

                 Camlboot: debootstrapping the OCaml compiler

In this talk, I will present Camlboot, a project which debootstraps
the OCaml compiler, that is, is able to compile the OCaml compiler
without using the bootstrap binary. Camlboot consists in a naïve
compiler for a subset of OCaml called MiniML, and an interpreter for
OCaml written in MiniML. I will first justify the interest of
debootstrapping, then explain the architecture and parts of Camlboot
along with lessons learned concerning the design of the OCaml
language, and finally present the experimental validation of Camlboot.

            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