Dependent type

Results: 326



#Item
1Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Dependent Object Types Towards a foundation for Scala’s type system Nada Amin Adriaan Moors

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2012-09-30 08:41:25
2Type Soundness for Dependent Object Types (DOT) * Complete We  sis

Type Soundness for Dependent Object Types (DOT) * Complete We sis

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-10-14 07:11:23
3Type Soundness for DOT (Dependent Object Types) Tiark Rompf  Nada Amin

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-11-19 05:24:33
4Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013  First-order theories vs dependent type theories (I)

Syntax for dependent type theories Nicola Gambino Leeds, February 20th, 2013 First-order theories vs dependent type theories (I)

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2013-05-09 12:23:34
    5Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1  Departments of Mathematics and Computer Science, University of Manchester,

    Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

    Add to Reading List

    Source URL: www1.maths.leeds.ac.uk

    Language: English - Date: 2013-05-09 12:23:44
      6Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck  http://cl-informatik.uibk.ac.at/cek/coqhammer/

      Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/

      Add to Reading List

      Source URL: cl-informatik.uibk.ac.at

      Language: English - Date: 2018-04-03 08:55:56
        7Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires

        Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires

        Add to Reading List

        Source URL: ctp.di.fct.unl.pt

        Language: English - Date: 2012-09-27 14:27:13
          8Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

          Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino

          Add to Reading List

          Source URL: www.cs.yale.edu

          Language: English - Date: 2015-03-10 14:01:25
            9Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

            Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

            Add to Reading List

            Source URL: metatheorem.org

            Language: English - Date: 2018-08-14 14:33:44