Wiktionary
type systems
n. (type system English)
Usage examples of "type systems".
Another notion was to give names to the G-type systems which the Hiver ignored.