dependent type (Q997433)
Jump to navigation
Jump to search
data type whose definition depends on a value
Language | Label | Description | Also known as |
---|---|---|---|
English | dependent type |
data type whose definition depends on a value |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(10 entries)
- cswiki Závislostní typ
- elwiki Εξαρτώμενος τύπος
- enwiki Dependent type
- frwiki Type dépendant
- jawiki 依存型
- kowiki 의존형
- ruwiki Зависимый тип
- ukwiki Залежний тип
- zh_min_nanwiki Óa-ta̍t hêng-pia̍t
- zhwiki 依赖类型