Home›Browse›Hindley–Milner🌐EnglishEnglishDeutschTiếng ViệtРусскийالعربية中文日本語EntityQ200996· pop 5· linked from 29 articlesHindley–MilnerSign in to saveAlso known as Damas–Milner, Damas–Hindley–Milner, HM, DHMtype system supporting type inferenceAvailable in 5 languagesDeutschРусскийالعربيةTiếng Việtvia Wikidata sitelinks · CC0