Wiktionary
nominative type system
n. (context software English) a major class of type system, where compatibility and equivalence of data types is determined by explicit declarations or the name of the types.