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
  • nominal
  • name-based type system
  • nominal typing
  • nominal typing system
  • nominative
  • nominative type system
  • nominal subtyping
  • nominative subtyping

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