Clone wiki

inf225public / glossary / Structural type equivalence

[Alphabetical Index | Tag Index]

Structural type equivalence* (also Structural type system)

A system where two types are equal or compatible if they have the same structure; e.g., have the same fields with the same types in the same order. C.f. Nominative type equivalence.

[Wikipedia]

Updated