Find the word definition

Wiktionary
nominal type systems

n. (nominal type system English)