en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag dependent-types - This is page 3 - GeneraCodice
Identity types and universes
https://www.generacodice.com/en/articolo/1608300/identity-types-and-universes
type-theory
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
Dependent type system with different computation model
https://www.generacodice.com/en/articolo/1608087/dependent-type-system-with-different-computation-model
type-theory
-
reference-request
-
dependent-types
cs.stackexchange
Where are C++ templates inside of the lambda cube?
https://www.generacodice.com/en/articolo/1607688/where-are-c-templates-inside-of-the-lambda-cube
c++
-
programming-languages
-
type-theory
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
Does co-inductive and co-recursive types also have their recursors?
https://www.generacodice.com/en/articolo/1603627/does-co-inductive-and-co-recursive-types-also-have-their-recursors
type-theory
-
coinduction
-
dependent-types
cs.stackexchange
How to determine whether a dependent type that doesn't fit the monad instance is categorically a monad
https://www.generacodice.com/en/articolo/1603181/how-to-determine-whether-a-dependent-type-that-doesn-t-fit-the-monad-instance-is-categorically-a-monad
category-theory
-
dependent-types
cs.stackexchange
Finite list induction principle and the tail eliminator
https://www.generacodice.com/en/articolo/1601971/finite-list-induction-principle-and-the-tail-eliminator
inductive-datatypes
-
dependent-types
cs.stackexchange
Defining an HTML Template as an Algebraic Type
https://www.generacodice.com/en/articolo/1600579/defining-an-html-template-as-an-algebraic-type
functional-programming
-
type-theory
-
dependent-types
cs.stackexchange
Dependent Type Theory Implementation of a Graph
https://www.generacodice.com/en/articolo/1600568/dependent-type-theory-implementation-of-a-graph
type-theory
-
graphs
-
dependent-types
cs.stackexchange
Show how lack of universe levels would create contradiction in homotopy type theory (in Agda)
https://www.generacodice.com/en/articolo/1599819/show-how-lack-of-universe-levels-would-create-contradiction-in-homotopy-type-theory-in-agda
dependent-types
-
homotopy-type-theory
cs.stackexchange
Union of fixed and floating point types
https://www.generacodice.com/en/articolo/1597778/union-of-fixed-and-floating-point-types
floating-point
-
typing
-
dependent-types
-
numerical-algorithms
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 89