nominative typing (Q3509459)
Jump to navigation
Jump to search
major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types
- nominal
- name-based type system
- nominal typing
- nominal typing system
- nominative
- nominative type system
- nominal subtyping
- nominative subtyping
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | nominative typing |
major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types |
|
Statements
nominative (English)
0 references
Identifiers
Sitelinks
Wikipedia(7 entries)
- elwiki Ονομαστικό σύστημα τύπων
- enwiki Nominal type system
- fawiki سیستم نوع نامی
- frwiki Système nominatif de types
- kowiki 명목적 자료형 체계
- viwiki Hệ thống kiểu danh định
- zhwiki 名義型別系統