Explore relationships

Nominal type system

In computer science, a type system is nominal (also called nominative or name-based) if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types.

Use + to expand a branch. Click a topic name to open its summary.