To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 24/05/07 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
                    http://pauillac.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                       Salle de réunion du bâtiment 5

                            Jeudi 24 mai, 10h30

                              ----------------
                              François Pottier
                              ----------------

                                   INRIA

         =========================================================
         Wandering through linear types, capabilities, and regions
         =========================================================

Here is a pointer. Which memory blocks can it possibly point to? If I write
through it, who will observe this effect? In fact, am I allowed to write
through it? Does it point to a valid piece of memory? Who owns this piece
of memory?

This talk is not about original work of mine. It is an attempt to present a
fraction of the many type systems that answer the above questions via notions
of linearity, capabilities, or regions.