Española
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artículos completos
Categorías
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Usted escribe
Usuario
Acceso
Registro
Recuperación de contraseña
Etiquetas
Etiquetas de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Etiqueta type-theory - Esta es la página 44 - GeneraCodice
¿Agregar funciones con nombre recursivas al cálculo lambda simplemente escrito lo completará?
https://www.generacodice.com/es/articolo/1490165/agregar-funciones-con-nombre-recursivas-al-calculo-lambda-simplemente-escrito-lo-completara
recursion
-
type-theory
-
typing
-
lambda-calculus
-
turing-completeness
cs.stackexchange
¿Los 'teoremas de Wadler son gratuitos' como generales como el diseño por contrato para establecer corrección?
https://www.generacodice.com/es/articolo/1490144/los-teoremas-de-wadler-son-gratuitos-como-generales-como-el-diseno-por-contrato-para-establecer-correccion
type-theory
-
curry-howard
cs.stackexchange
En los sistemas de tipos, ¿hay un nombre para la forma de cortar y combinar los tipos de registros de SQL en nuevos tipos?
https://www.generacodice.com/es/articolo/1490143/en-los-sistemas-de-tipos-hay-un-nombre-para-la-forma-de-cortar-y-combinar-los-tipos-de-registros-de-sql-en-nuevos-tipos
type-theory
-
notation
-
type-checking
cs.stackexchange
¿Cómo se ven las funciones, si dije con el modelo categoical de mi teoría de tipo?
https://www.generacodice.com/es/articolo/1490126/como-se-ven-las-funciones-si-dije-con-el-modelo-categoical-de-mi-teoria-de-tipo
type-theory
-
lambda-calculus
-
category-theory
cs.stackexchange
¿Los tipos son términos implican su teoría de dependencia se considera polimórfica?
https://www.generacodice.com/es/articolo/1490110/los-tipos-son-terminos-implican-su-teoria-de-dependencia-se-considera-polimorfica
type-theory
-
dependent-types
cs.stackexchange
¿Son los tipos algebraicos solo la combinación de clases de casos y coincidencia de patrones?
https://www.generacodice.com/es/articolo/1489713/son-los-tipos-algebraicos-solo-la-combinacion-de-clases-de-casos-y-coincidencia-de-patrones
pattern-recognition
-
type-theory
-
abstract-data-types
cs.stackexchange
¿Qué harían realmente los idiomas de tipo dinámico si se eliminara la aplicación de tipo?
https://www.generacodice.com/es/articolo/1488522/que-harian-realmente-los-idiomas-de-tipo-dinamico-si-se-eliminara-la-aplicacion-de-tipo
programming-languages
-
type-theory
-
type-checking
cs.stackexchange
¿El teorema de incompletitud de Godel arroja cualquier luz sobre los idiomas dinámicos frente a los tiptos? [cerrado
https://www.generacodice.com/es/articolo/1128134/el-teorema-de-incompletitud-de-godel-arroja-cualquier-luz-sobre-los-idiomas-dinamicos-frente-a-los-tiptos-cerrado
type-theory
cs.stackexchange
Tipo de inferencia de tipos de par (producto)
https://www.generacodice.com/es/articolo/1128029/tipo-de-inferencia-de-tipos-de-par-producto
type-inference
-
type-theory
-
unification
cs.stackexchange
Introducción a la teoría del tipo de Martin-Löf
https://www.generacodice.com/es/articolo/1127854/introduccion-a-la-teoria-del-tipo-de-martin-lof
logic
-
type-theory
cs.stackexchange
«
41
42
43
44
45
46
»
Resultados encontrados: 484