Jonathan

Results: 11063



#Item
321

Abstract Specifications for Weakly Consistent Data Sebastian Burckhardt Jonathan Protzenko Abstract

Add to Reading List

Source URL: jonathan.protzenko.fr

- Date: 2016-08-18 22:47:56
    322

    Technological Change and Obsolete Skills: Evidence from Men’s Professional Tennis* Ian Fillmore† Jonathan D. Hall‡

    Add to Reading List

    Source URL: individual.utoronto.ca

    - Date: 2018-03-27 09:41:51
      323

      Interpreting Type Theory in Appropriate Presheaf Toposes Thomas Streicher, Jonathan Weinberger TU Darmstadt, Germany July 19, 2017

      Add to Reading List

      Source URL: hott-uf.github.io

      - Date: 2018-03-28 14:04:14
        324

        Mezzo a typed language for safe and effectful concurrent programs Jonathan Protzenko (INRIA)

        Add to Reading List

        Source URL: jonathan.protzenko.fr

        - Date: 2015-01-02 09:04:06
          325

          A Category-Level 3-D Object Dataset: Putting the Kinect to Work Allison Janoch, Sergey Karayev, Yangqing Jia, Jonathan T. Barron, Mario Fritz, Kate Saenko, Trevor Darrell UC Berkeley and Max-Plank-Institute for Informati

          Add to Reading List

          Source URL: alliejanoch.com

          - Date: 2015-07-03 14:48:00
            326

            The design of Mezzo, a new programming language François Pottier Jonathan Protzenko

            Add to Reading List

            Source URL: jonathan.protzenko.fr

            - Date: 2015-11-24 20:09:36
              327

              Towards a Provably Secure Implementation of TLS 1.3 Benjamin Beurdouche Karthikeyan Bhargavan Antoine Delignat-Lavaud Cédric Fournet Samin Ishtiaq Markulf Kohlweiss Jonathan Protzenko Nikhil Swamy Santiago Zanella-Bégu

              Add to Reading List

              Source URL: jonathan.protzenko.fr

              - Date: 2016-08-18 22:56:57
                328

                EXAMPLES AND APPLICATIONS OF NONCOMMUTATIVE GEOMETRY AND K-THEORY JONATHAN ROSENBERG Abstract. These are informal notes from my course at the 3era Escuela de Invierno Luis Santal´ o-CIMPA Research School on Topics in No

                Add to Reading List

                Source URL: www.math.umd.edu

                - Date: 2010-08-04 22:25:58
                  329

                  ArtiCheck: well-typed generic fuzzing for module interfaces Thomas Braibant Jonathan Protzenko Gabriel Scherer

                  Add to Reading List

                  Source URL: jonathan.protzenko.fr

                  - Date: 2015-11-24 20:09:36
                    UPDATE