nominative type system
noun1
Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.