Xavier Leroy

Results: 125



#Item
1Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt  &

Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt &

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    2Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

    Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      3Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

      Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

      Add to Reading List

      Source URL: xavierleroy.org

      Language: English - Date: 2018-08-01 14:49:25
        4What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

        What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

        Add to Reading List

        Source URL: ocaml.org

        Language: English - Date: 2018-08-18 17:00:38
        5Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris  Van Wijngaarden award,

        Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award,

        Add to Reading List

        Source URL: xavierleroy.org

        Language: English - Date: 2018-08-01 14:49:25
          6Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt  Coll`ege de France,

          Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France,

          Add to Reading List

          Source URL: xavierleroy.org

          Language: French - Date: 2018-08-01 14:49:25
            7Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy  INRIA Paris-Rocquencourt

            Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt

            Add to Reading List

            Source URL: jtristan.github.io

            Language: English - Date: 2018-06-24 11:22:27
              8Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris  ICALP,

              Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP,

              Add to Reading List

              Source URL: xavierleroy.org

              Language: English - Date: 2018-08-01 14:49:25
                9A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt  LCTES,

                A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

                Add to Reading List

                Source URL: xavierleroy.org

                Language: English - Date: 2018-08-01 14:49:25