Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01271327n
Noun Concept
Categories: Teoría de tipos, Tipos de datos
ES
sistema de tipos  fuertemente tipado  Fuertemente tipificado  Lenguaje de programacion fuertemente tipado  Lenguaje de programación fuertemente tipado
ES
En ciencias de la computación, un sistema de tipos define cómo un lenguaje de programación clasifica los valores y las expresiones en tipos, cómo se pueden manipular estos tipos y cómo interactúan. Wikipedia
Definitions
Relations
Sources
ES
En ciencias de la computación, un sistema de tipos define cómo un lenguaje de programación clasifica los valores y las expresiones en tipos, cómo se pueden manipular estos tipos y cómo interactúan. Wikipedia
El que define cómo un lenguaje de programación clasifica los valores y las expresiones en tipos, cómo se pueden manipular estos tipos y cómo interactúan. Wikipedia Disambiguation
IS A
sistema formal
PART OF
lenguaje de programación
HAS KIND
variable estática
EN
manifest typing
inferencia de tipos
tipado fuerte
polimorfismo paramétrico
+12 relations
HAS INSTANCE
tipado fuerte
EN
typing environment
tipado dinámico
EN
Hindley–Milner
FACET OF
lenguaje de programación
USES
tipo de dato
Wikipedia
ES
sistema de tipos
Wikidata
ES
sistema de tipos
Wikipedia Redirections
ES
fuertemente tipado, Fuertemente tipificado, Lenguaje de programacion fuertemente tipado, Lenguaje de programación fuertemente tipado, Sistema de tipificacion, sistema de tipificación, tipado estático
Wikidata Alias
ES
sistema de tipificacion, sistema de tipificación
Wikipedia Translations
ES
comprobación de tipos, comprobador de tipos, sistemas de tipo, sistemas de tipos, tipado dinámico, tipos estáticos

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License