nominative typing

Also known as nominal, name-based type system, nominal typing, nominal typing system, nominative, nominative type system, nominal subtyping, nominative subtyping

major class of type system, in which compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types