Clone wiki

inf225public / glossary / Nominative type equivalence

[Alphabetical Index | Tag Index]

Nominative type equivalence* (also Nominal/Nominative type system)

A system where type equivalence or compatibility is determined based on the type names (or, more strictly, which declaration the names refer to) and not the structure of the type. C.f. Structural type equivalence.