Noun
name-based type system (plural name-based type systems) (software) Synonym of nominative type system