bn:15455329n
Noun Concept
Categories: Type systems
EN
nominal type system  nominative typing  name-based type system  nominal  nominal subtyping
EN
In computer science, a type system is nominal if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Wikipedia
Definitions
Relations
Sources
EN
In computer science, a type system is nominal if compatibility and equivalence of data types is determined by explicit declarations and/or the name of the types. Wikipedia
A type system where properties of a data type are determined by explicit declaration and/or the name of a type Wikipedia Disambiguation