nominative type system noun1 •A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types. formsnominative type systems
