Type theory

Results: 3552



#Item
71Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

Building Verified Language Tools in Operational Type Theory Aaron Stump Computational Logic Center Computer Science Department The University of Iowa

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2008-10-15 15:02:55
    72Coq projects for type theory 2010 Herman Geuvers, James McKinna, Freek Wiedijk December 21, 2010 Here are five projects for the type theory course to choose from. Each student has to choose one of these projects. More th

    Coq projects for type theory 2010 Herman Geuvers, James McKinna, Freek Wiedijk December 21, 2010 Here are five projects for the type theory course to choose from. Each student has to choose one of these projects. More th

    Add to Reading List

    Source URL: www.cs.ru.nl

    - Date: 2011-09-02 08:06:23
      73Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt  TYPES meeting,

      Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt TYPES meeting,

      Add to Reading List

      Source URL: pauillac.inria.fr

      - Date: 2015-10-19 04:32:35
        74OIViscoelasticity of fractional type and shape optimization in a theory of rods M11 2014 

        OIViscoelasticity of fractional type and shape optimization in a theory of rods M11 2014 

        Add to Reading List

        Source URL: www.mi.sanu.ac.rs

        - Date: 2015-01-26 04:17:47
          75CS364B: Exercise Set #3 Due by the beginning of class on Wednesday, January 29, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to the TA (Okke). Please type your solutions if pos

          CS364B: Exercise Set #3 Due by the beginning of class on Wednesday, January 29, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to the TA (Okke). Please type your solutions if pos

          Add to Reading List

          Source URL: theory.stanford.edu

          - Date: 2014-01-27 22:01:54
            76Type Theory and Coq, January 2012, 10.30–12.30 Before you start, write your name, student number and study at the top of your paper. The final mark is the number of points divided by ten, where the first 10 poi

            Type Theory and Coq, January 2012, 10.30–12.30 Before you start, write your name, student number and study at the top of your paper. The final mark is the number of points divided by ten, where the first 10 poi

            Add to Reading List

            Source URL: www.cs.ru.nl

            - Date: 2012-01-17 06:17:39
              77Type Theory 2011 – Parigot’s λµ-calculus Robbert Krebbers November 1, 2011 1

              Type Theory 2011 – Parigot’s λµ-calculus Robbert Krebbers November 1, 2011 1

              Add to Reading List

              Source URL: www.cs.ru.nl

              - Date: 2011-11-01 10:37:39
                78The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich  TLCA, Warsaw, 3rd July 2015

                The Groupoid Interpretation of Type Theory, a Personal Retrospective Martin Hofmann LMU Munich TLCA, Warsaw, 3rd July 2015

                Add to Reading List

                Source URL: rdp15.mimuw.edu.pl

                - Date: 2015-07-13 06:15:55
                  79DSLs in Haskell Ryan Newton Back-end

                  DSLs in Haskell Ryan Newton Back-end

                  Add to Reading List

                  Source URL: vjovanov.github.io

                  Language: English - Date: 2016-08-07 07:28:53
                  80Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation

                  Robust and efficient translations in C++ using tables with zero-based enumerations 10 January 2015, Christophe Riccio G-Truc Creation

                  Add to Reading List

                  Source URL: www.g-truc.net

                  Language: English - Date: 2015-01-10 12:26:20