Séminaire Cambium, Inria Paris
                              Salle Grace Hopper
                          Vendredi 8 novembre, 10h30

                               Vincent Laviron
                                   OCamlPro

                         Compiling recursion in OCaml

Recursive definitions are a very useful feature of functional programming
languages, but compilers often target languages that provide only limited
support for recursive definitions. This requires the compiler to encode at
least some recursive definitions using non-recursive constructions.

This talk will show the various challenges and solutions used in the OCaml
compiler. The OCaml language allows not only recursive functions, but also
some less standard recursive definitions like cyclic lists and recursive
modules. Handling all of this requires several different algorithms, that we
hope to showcase in this presentation.

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

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.