nominative type system Synonyms

name-based type system nominal type system