Deutsch
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Vollständige Artikel
Kategorien
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Du schreibst
Benutzer
Anmeldung
Anmeldung
Passwort-Wiederherstellung
Stichworte
Sprachtags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag type-theory - Dies ist Seite 43 - GeneraCodice
Dependent types vs refinement types
https://www.generacodice.com/de/articolo/1494254/dependent-types-vs-refinement-types
functional-programming
-
terminology
-
programming-languages
-
type-theory
-
dependent-types
cs.stackexchange
Is this a well founded inductive type? Can I express this in Coq?
https://www.generacodice.com/de/articolo/1494202/is-this-a-well-founded-inductive-type-can-i-express-this-in-coq
type-theory
-
coq
-
inductive-datatypes
-
dependent-types
cs.stackexchange
What are the difference between and consequences of using type parameters and type indexes?
https://www.generacodice.com/de/articolo/1490968/what-are-the-difference-between-and-consequences-of-using-type-parameters-and-type-indexes
type-theory
-
dependent-types
cs.stackexchange
Define a list using only the Hindley-Milner type system
https://www.generacodice.com/de/articolo/1490954/define-a-list-using-only-the-hindley-milner-type-system
type-inference
-
type-theory
-
lambda-calculus
cs.stackexchange
Are references of any use without updating?
https://www.generacodice.com/de/articolo/1490745/are-references-of-any-use-without-updating
programming-languages
-
type-theory
cs.stackexchange
How is a type system related to a progam?
https://www.generacodice.com/de/articolo/1490623/how-is-a-type-system-related-to-a-progam
programming-languages
-
type-theory
-
typing
-
type-checking
cs.stackexchange
Can parameters be contra- or covariant in Python?
https://www.generacodice.com/de/articolo/1490423/can-parameters-be-contra-or-covariant-in-python
programming-languages
-
type-theory
cs.stackexchange
What can Idris not do by giving up Turing completeness?
https://www.generacodice.com/de/articolo/1490401/what-can-idris-not-do-by-giving-up-turing-completeness
programming-languages
-
computability
-
type-theory
-
dependent-types
cs.stackexchange
Why will the Hindley-Milner algorithm never yield a type like t1 -> t2?
https://www.generacodice.com/de/articolo/1490262/why-will-the-hindley-milner-algorithm-never-yield-a-type-like-t1-t2
type-inference
-
type-theory
-
typing
-
lambda-calculus
cs.stackexchange
Would adding recursive named functions to Simply typed lambda calculus make it Turing complete?
https://www.generacodice.com/de/articolo/1490165/would-adding-recursive-named-functions-to-simply-typed-lambda-calculus-make-it-turing-complete
recursion
-
type-theory
-
typing
-
lambda-calculus
-
turing-completeness
cs.stackexchange
«
40
41
42
43
44
45
»
Gefundene Ergebnisse: 484