Nominative typing

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

Pronunciation

Categories