nominative type system

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

nominative type system (plural nominative type systems)

  1. (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[edit]