nominative type system
English
Noun
nominative type system (plural nominative type systems)
- (programming) A major class of type system, where compatibility and equivalence of data types is determined by explicit declarations or the name of the types.
Synonyms
- name-based type system
- nominal type system