Source: wikibot/hindley-milner-type-system

= Hindley–Milner type system
{wiki=Hindley–Milner_type_system}