Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01274404n
Noun Concept
Categories: Programming language theory stubs, Type theory
EN
container  Dependent polynomial functor  Indexed container
EN
In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. Wikipedia
English:
type theory
Definitions
Relations
Sources
EN
In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. Wikipedia
Abstractions that represent collection types in a uniform way Wikipedia Disambiguation
Abstractions in type theory Wikidata
PART OF
type theory
Wikipedia
EN
container (type theory)
Wikidata
EN
container
Wikipedia Redirections
EN
Container (Type theory), Dependent polynomial functor, Indexed container

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