Q200996

From Wikidata
Jump to: navigation, search

Hindley–Milner (Q200996)[edit]

type system supporting type inference [edit]

Also known as:
  • Damas–Milner
  • Damas–Hindley–Milner
  • HM
  • DHM
[edit]

Statements

[edit]
0 references
[edit]
0 references
[edit]
0 references
[add]