English

English Deutsch Tiếng Việt Русский العربية 中文日本語

EntityQ200996· pop 5· linked from 29 articles

Hindley–Milner

Sign in to save

Also known as Damas–Milner, Damas–Hindley–Milner, HM, DHM

type system supporting type inference

Wikidata facts

Instance of: type system
Named after: Robin Milner

via Wikidata · CC0

Available in 5 languages

via Wikidata sitelinks · CC0