Find the word definition

Wiktionary
nominative type systems

n. (nominative type system English)