Prosecco

Results: 1112



#Item
51Action Sp´ ecifique S´ ecurit´ e Bruno Blanchet ´ quipe Interpr´

Action Sp´ ecifique S´ ecurit´ e Bruno Blanchet ´ quipe Interpr´

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: French - Date: 2012-10-01 07:25:51
    52A fibrational view on computational effects (dependent types + computational effects) Danel Ahman Prosecco Team, Inria Paris

    A fibrational view on computational effects (dependent types + computational effects) Danel Ahman Prosecco Team, Inria Paris

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      53Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

      Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

      Add to Reading List

      Source URL: seminaire-dga.gforge.inria.fr

      - Date: 2018-03-31 14:30:42
        54Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

        Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        - Date: 2018-02-05 12:35:03
          55Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman Prosecco Team at Inria Paris

          Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman Prosecco Team at Inria Paris

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            56Handling Fibred Computational Effects Effect Handlers in a Dependently Typed Setting Danel Ahman Prosecco Team at Inria Paris

            Handling Fibred Computational Effects Effect Handlers in a Dependently Typed Setting Danel Ahman Prosecco Team at Inria Paris

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              57Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

              Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

              Add to Reading List

              Source URL: prosecco.gforge.inria.fr

              - Date: 2018-01-07 12:12:08
                58Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris, Prosecco team https://secure-compilation.github.io

                Add to Reading List

                Source URL: prosecco.gforge.inria.fr

                - Date: 2018-02-26 08:01:29
                  59Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                  Formally Secure Compilation of Unsafe Low-level Components Cătălin Hrițcu Inria Paris https://secure-compilation.github.io

                  Add to Reading List

                  Source URL: prosecco.gforge.inria.fr

                  - Date: 2018-01-07 12:23:18