bn:15455329n
Noun Concept
JA
記名的型付け  名前的型システム  記名的型システム
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
Relations
Sources