plural of Hindley-Milner type system

(computing theory) A classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.

A name that systematically designates a well-defined group of entities.

(chemistry) A systematic name for an element, derived from the digits of its atomic number to which the suffix -(i)um is appended; normally only used for transuranic elements before or for a short period after they have been created, after which they will be given a non-systematic name.

The study of classification systems and nomenclature. / The systematic classification of a branch of science, especially the classification of organisms.

Carried out using a planned, ordered procedure. / Methodical, regular and orderly. / Of, or relating to taxonomic classification. / (proscribed) Of, relating to, or being a system.

(colloquial) systematically

In an organized manner; utilising a system.

The act of systematizing / A systematic organization

To arrange into a systematic order; to make systematic; to organise as a system