Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01271327n
Noun Concept
Categories: Teoria dei tipi
IT
sistema dei tipi  Sistema di tipi  Type system  correttore tipo  dinamicamente tipizzati
IT
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano. Wikipedia
Definitions
Relations
Sources
IT
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano. Wikipedia
IS A
sistema formale
PART OF
linguaggio di programmazione
HAS KIND
variabile statica
EN
manifest typing
inferenza dei tipi
tipizzazione forte
polimorfismo parametrico
+12 relations
HAS INSTANCE
tipizzazione forte
EN
typing environment
tipizzazione dinamica
EN
Hindley–Milner
FACET OF
linguaggio di programmazione
USES
tipo di dato
Wikipedia
IT
sistema dei tipi
Wikidata
IT
sistema dei tipi
Wikipedia Redirections
IT
Sistema di tipi, type system
Wikidata Alias
IT
Sistema di tipi, Type system
Wikipedia Translations
IT
correttore tipo, dinamicamente tipizzati, sistemi tipo, staticamente tipizzato, tipizzazione dinamica, tipizzazione statica

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