nominative type system

English

Noun

nominative type system (plural nominative type systems)

1. (programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.

Synonyms

• name-based type system
• nominal type system