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
              edit