Hindley–Milner type system

GPTKB entity