Nominative-type-system definitions

(software) A major class of type system, where compatibility and equivalence of data types is determined by explicit declarations or the name of the types.
noun
0
0