English

Noun

nominative type system ‎(plural nominative type systems)

1. (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.

Synonyms

• name-based type system
• nominal type system