Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag frpendent-type - Это страница 2 - GeneraCodice
Proving structural equality of dependent records in Coq
https://www.generacodice.com/ru/articolo/10466514/proving-structural-equality-of-dependent-records-in-coq
coq
-
dependent-type
StackOverflow
How do I code this dependently-typed example in Haskell?
https://www.generacodice.com/ru/articolo/10432425/how-do-i-code-this-dependently-typed-example-in-haskell
haskell
-
gadt
-
dependent-type
StackOverflow
Is there a language with constrainable types?
https://www.generacodice.com/ru/articolo/10196352/is-there-a-language-with-constrainable-types
haskell
-
agda
-
dependent-type
StackOverflow
How can finite numbers work? (dependent types)
https://www.generacodice.com/ru/articolo/9788616/how-can-finite-numbers-work-dependent-types
agda
-
dependent-type
-
idris
StackOverflow
Type-level sets in Haskell / Agda
https://www.generacodice.com/ru/articolo/9536913/type-level-sets-in-haskell-agda
haskell
-
dependent-type
StackOverflow
Agda: how does one obtain a value of a dependent type?
https://www.generacodice.com/ru/articolo/9449067/agda-how-does-one-obtain-a-value-of-a-dependent-type
agda
-
dependent-type
StackOverflow
An agda proposition used in the type -- what does it mean?
https://www.generacodice.com/ru/articolo/9403938/an-agda-proposition-used-in-the-type-what-does-it-mean
agda
-
dependent-type
StackOverflow
Problems with using of dependent pairs in Agda
https://www.generacodice.com/ru/articolo/8869767/problems-with-using-of-dependent-pairs-in-agda
agda
-
dependent-type
StackOverflow
Coinduction and dependent types
https://www.generacodice.com/ru/articolo/8827359/coinduction-and-dependent-types
coq
-
dependent-type
-
coinduction
StackOverflow
Practical examples of Idris
https://www.generacodice.com/ru/articolo/8272713/practical-examples-of-idris
dependent-type
-
idris
StackOverflow
«
1
2
3
4
5
6
»
Результаты найдены: 59