Wiktionary
name-based type systems
n. (name-based type system English)
n. (name-based type system English)