nominative type system
English
editNoun
editnominative type system (plural nominative type systems)
- (programming) A major type system where compatibility and equivalence of data types are determined by explicit declarations or the names of the types.