Hindley–Milner (Q200996)

From Wikidata
Jump to: navigation, search
type system supporting type inference
  • Damas–Milner
  • Damas–Hindley–Milner
  • HM
  • DHM
[edit]
Language Label Description Also known as
English
Hindley–Milner
type system supporting type inference
  • Damas–Milner
  • Damas–Hindley–Milner
  • HM
  • DHM

Statements

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