Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                          Salle Lions 1, bâtiment C
                         Mercredi 14 décembre, 10h00

                                Stephen Dolan
                                 Jane Street

                        Extending OCaml with locality

I'll present an extension of OCaml using modal types to support
"locality": statically verifying that a value is only used locally
within a given function and does not escape beyond it. The main
application of this ability is that values that are only used locally
may be allocated on a stack rather than on the garbage-collected heap,
improving performance, but locality also turns out to be useful to
reason about safe resource management. (This is joint work with Leo
White and Zesen Qian at Jane Street).

[Organiser's note: please note the unusual date and time: Wednesday
Dec 14 at 10:00am.]

            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