Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01271327n
Noun Concept
SYL
No term available
EN
In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type to every term. Wikipedia
Relations
Sources
IS A
EN
formal system
PART OF
EN
programming language
HAS KIND
EN
static variable
EN
manifest typing
EN
type inference
EN
Strong and weak typing
EN
parametric polymorphism
+12 relations
HAS INSTANCE
EN
Strong and weak typing
EN
typing environment
EN
dynamic typing
EN
Hindley–Milner
FACET OF
EN
programming language
USES
EN
data type

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