Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01220298n
Noun Concept
Categories: Articles with short description, Dependently typed programming, Type systems, Type theory, Foundations of mathematics
EN
dependent type  Comparision of programming languages with dependent types  dependent type theory  dependent types  dependent typing
EN
In computer science and logic, a dependent type is a type whose definition depends on a value. Wikipedia
Definitions
Relations
Sources
EN
In computer science and logic, a dependent type is a type whose definition depends on a value. Wikipedia
Data type whose definition depends on a value Wikidata
IS A
data type
Wikipedia
EN
dependent type
Wikidata
EN
dependent type
Wikipedia Redirections
EN
Comparision of programming languages with dependent types, dependent type theory, dependent types, dependent typing, Dependently-typed, Dependently-typed language, Dependently-typed programming language, dependently typed, dependently typed language, Dependently typed programming, dependently typed programming language, List of dependently-typed programming languages, Sigma type, Type-level programming, λΠ-calculus

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