Wiktionary
name-based type system
n. (context software English) (synonym of nominative type system lang= en)