nominative typing (Q3509459)
From The Right Wiki
Jump to navigationJump 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
Q865760 (Deleted Item)
0 references
nominative (English)
0 references
14962876
0 references
Q936724 (Deleted Item)
0 references
/m/0c49_h
0 references
Q122624423 (Deleted Item)
0 references