Hindley-Milner type systems

Noun

form-of plural

plural of Hindley-Milner type system

Japanese Meaning

ヒンドリー・ミルナー型システムの複数形

Hindley-Milner type systems enable concise polymorphic type inference in many functional programming languages.

ヒンドリーとマイナーによって考案された多相型の型システムは、多くの関数型プログラミング言語で簡潔な型推論を可能にします。

Sense（1）

plural of Hindley-Milner type system