Gallium

Results: 1274



#Item
11Static Name Control for FreshML Franc¸ois Pottier INRIA Abstract

Static Name Control for FreshML Franc¸ois Pottier INRIA Abstract

Add to Reading List

Source URL: gallium.inria.fr

- Date: 2007-04-17 09:45:29
    12Doctorat d’Informatique Universit´ e Paris-Diderot Which types have a unique inhabitant? Focusing on pure program equivalence

    Doctorat d’Informatique Universit´ e Paris-Diderot Which types have a unique inhabitant? Focusing on pure program equivalence

    Add to Reading List

    Source URL: gallium.inria.fr

    - Date: 2018-01-22 15:43:41
      13T HE EASST N EWSLETTER Maintaining large software distributions: new challenges from the FOSS era Roberto Di Cosmo *and Berke Durak **and Xavier Leroy **and Fabio Mancinelli *and J´erˆome

      T HE EASST N EWSLETTER Maintaining large software distributions: new challenges from the FOSS era Roberto Di Cosmo *and Berke Durak **and Xavier Leroy **and Fabio Mancinelli *and J´erˆome

      Add to Reading List

      Source URL: gallium.inria.fr

      - Date: 2006-03-03 16:48:23
        14A few lessons from the Mezzo project François Pottier1 and Jonathan Protzenko2 1 2 INRIA

        A few lessons from the Mezzo project François Pottier1 and Jonathan Protzenko2 1 2 INRIA

        Add to Reading List

        Source URL: gallium.inria.fr

        - Date: 2015-03-20 12:09:59
          15Programming with Permissions in Mezzo François Pottier Jonathan Protzenko INRIA

          Programming with Permissions in Mezzo François Pottier Jonathan Protzenko INRIA

          Add to Reading List

          Source URL: gallium.inria.fr

          - Date: 2013-07-15 10:35:04
            16XXXX The Design and Formalization of Mezzo, a Permission-Based Programming Language THIBAUT BALABONSKI and FRANÇOIS POTTIER and JONATHAN PROTZENKO, INRIA The programming language Mezzo is equipped with a rich type syst

            XXXX The Design and Formalization of Mezzo, a Permission-Based Programming Language THIBAUT BALABONSKI and FRANÇOIS POTTIER and JONATHAN PROTZENKO, INRIA The programming language Mezzo is equipped with a rich type syst

            Add to Reading List

            Source URL: gallium.inria.fr

            - Date: 2016-10-14 08:38:34
              17A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego

              A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego

              Add to Reading List

              Source URL: gallium.inria.fr

              - Date: 2012-10-03 13:24:30
                18Materials for stretchable electronics in bioinspired and biointegrated devices Dae-Hyeong Kim, Nanshu Lu, Yonggang Huang, and John A. Rogers Inorganic semiconductors such as silicon, gallium arsenide, and gallium nitride

                Materials for stretchable electronics in bioinspired and biointegrated devices Dae-Hyeong Kim, Nanshu Lu, Yonggang Huang, and John A. Rogers Inorganic semiconductors such as silicon, gallium arsenide, and gallium nitride

                Add to Reading List

                Source URL: rogers.matse.illinois.edu

                - Date: 2012-03-18 07:56:02