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

0 references
0 references
0 references
[edit]
Language Code Linked page
Deutsch dewiki
English enwiki
[edit]
[edit]
[edit]
[edit]
[edit]