Matches in Wikidata for { <http://www.wikidata.org/entity/Q200996> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- Q200996 description "type system supporting type inference" @default.
- Q200996 description "typový systém využívající inferenci typů" @default.
- Q200996 name "Hindleyův–Milnerův typový systém" @default.
- Q200996 name "Hindley–Milner" @default.
- Q200996 name "Hindley–Milner型システム" @default.
- Q200996 name "Hindley–Milner类型系统" @default.
- Q200996 name "Hệ thống kiểu Hindley–Milner" @default.
- Q200996 name "Typinferenz nach Hindley-Milner" @default.
- Q200996 name "Система типов Хиндли — Милнера" @default.
- Q200996 type Item @default.
- Q200996 label "Hindleyův–Milnerův typový systém" @default.
- Q200996 label "Hindley–Milner" @default.
- Q200996 label "Hindley–Milner型システム" @default.
- Q200996 label "Hindley–Milner类型系统" @default.
- Q200996 label "Hệ thống kiểu Hindley–Milner" @default.
- Q200996 label "Typinferenz nach Hindley-Milner" @default.
- Q200996 label "Система типов Хиндли — Милнера" @default.
- Q200996 altLabel "DHM" @default.
- Q200996 altLabel "Damas–Hindley–Milner" @default.
- Q200996 altLabel "Damas–Milner" @default.
- Q200996 altLabel "HM" @default.
- Q200996 altLabel "Hindley–Milnerův typový systém" @default.
- Q200996 altLabel "inference typů podle Hindleye a Milnera" @default.
- Q200996 altLabel "typový systém Hindley–Milner" @default.
- Q200996 prefLabel "Hindleyův–Milnerův typový systém" @default.
- Q200996 prefLabel "Hindley–Milner" @default.
- Q200996 prefLabel "Hindley–Milner型システム" @default.
- Q200996 prefLabel "Hindley–Milner类型系统" @default.
- Q200996 prefLabel "Hệ thống kiểu Hindley–Milner" @default.
- Q200996 prefLabel "Typinferenz nach Hindley-Milner" @default.
- Q200996 prefLabel "Система типов Хиндли — Милнера" @default.
- Q200996 P138 q200996-01818800-4d32-ba06-204f-62ab7cef87e5 @default.
- Q200996 P138 q200996-17043aa8-4c07-1764-0734-d59b97633829 @default.
- Q200996 P138 q200996-eefbb2e5-4b8e-e6e3-7f3f-a14fdc33c4cf @default.
- Q200996 P31 Q200996-3952fcee-4298-76a2-0719-6df6a1404eee @default.
- Q200996 P6366 Q200996-3F8DF55C-306C-44B1-A9A8-47DC70782DB5 @default.
- Q200996 P646 Q200996-84430723-8594-4D86-8709-C398149153B3 @default.
- Q200996 P6366 207147817 @default.
- Q200996 P138 Q13988534 @default.
- Q200996 P138 Q6106975 @default.
- Q200996 P138 Q92643 @default.
- Q200996 P31 Q865760 @default.
- Q200996 P6366 "207147817" @default.
- Q200996 P646 "/m/0h52rpg" @default.