Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02813420n
Noun Concept
Categories: Data types, Program analysis, Programming language theory stubs, Type theory
EN
typing environment  environment  Type environment  typing context
EN
In type theory a typing environment represents the association between variable names and data types. Wikipedia
Definitions
Relations
Sources
EN
In type theory a typing environment represents the association between variable names and data types. Wikipedia
IS A
type system
Wikipedia
EN
typing environment
Wikidata
EN
Typing environment
Wikipedia Redirections
EN
environment (type theory), Type environment, typing context

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