Wikidata

(Q200996)

English

Hindley–Milner

type system supporting type inference

  • Damas–Milner
  • Damas–Hindley–Milner
  • HM
  • DHM
In more languages

Statements

instance of
type system
0 references
named after
Luis Damas
0 references
J. Roger Hindley
0 references
Robin Milner
0 references

Identifiers

Freebase ID
/m/0h52rpg
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q200996&oldid=1902487503"