About: Hindley–Milner type system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type system supporting type inference

Property	Value
dbo:description	Verfahren der Typinferenz (de) type system supporting type inference (en) typový systém využívající inferenci typů (cs)
dbo:wikiPageExternalLink	https://eli.thegreenplace.net/2018/type-inference/ https://github.com/wh5a/Algorithm-W-Step-By-Step https://github.com/wh5a/Algorithm-W-Step-By-Step/blob/master/AlgorithmW.pdf
dbo:wikiPageWikiLink	dbr:Side_effect_(computer_science) dbr:System_F dbr:System_F-sub dbr:Functional_programming dbr:Monad_(functional_programming) dbr:Disjoint-set_data_structure dbr:C++ dbr:Object-oriented_programming dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbc:Lambda_calculus dbr:Lambda_calculus dbr:Lattice_(order) dbr:Rule_of_inference dbc:Formal_methods dbr:Consistency dbr:Cardinality dbr:Prolog dbr:Parse_tree dbr:Type_inhabitation dbr:Typing_rule dbr:Identity_function dbr:Formal_grammar dbr:Unification_(computer_science) dbc:1969_in_computing dbc:1985_in_computing dbr:Type_class dbr:Type_system dbr:Type_theory dbr:Abstract_syntax dbr:Formal_system dbr:Turing_completeness dbr:Combinatory_logic dbr:Equivalence_class dbc:1978_in_computing dbr:Completeness_(logic) dbr:Term_(logic) dbr:Principal_type dbc:Algorithms dbc:Theoretical_computer_science dbr:Ad_hoc_polymorphism dbr:C_(programming_language) dbr:Pascal_(programming_language) dbr:Haskell_Curry dbr:Robin_Milner dbc:Type_theory dbr:Scope_(computer_science) dbr:Partial_order dbr:Judgment_(mathematical_logic) dbr:Occurs_check dbr:Undecidable_problem dbr:J._Roger_Hindley dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:John_Alan_Robinson dbc:Type_inference dbc:Type_systems dbr:Type_inference dbr:Kind_(type_theory) dbr:Normalization_property_(abstract_rewriting) dbr:Computational_complexity dbr:Luca_Cardelli dbr:Name_binding dbr:Robert_Feys dbr:Procedure_(computer_science) dbr:Row_polymorphism dbr:Haskell_(programming_language) dbr:NP-hard dbr:Fixed_point_combinator dbr:List_(computer_science) dbr:Assignment_(mathematical_logic) dbr:Wikt:assumption dbr:F-bounded_polymorphism dbr:Functional_language dbr:Unification_(computing) dbr:Second_order_lambda_calculus dbr:Type_annotation dbr:Luis_Damas dbr:Syntax-directed
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:Math dbt:Bracket dbt:See_also dbt:Var dbt:Refend dbt:Refbegin dbt:Citation_needed dbt:Mvar dbt:Mono dbt:Short_description
dct:subject	dbc:Lambda_calculus dbc:Formal_methods dbc:1969_in_computing dbc:1985_in_computing dbc:1978_in_computing dbc:Algorithms dbc:Theoretical_computer_science dbc:Type_theory dbc:Type_inference dbc:Type_systems
gold:hypernym	dbr:System
rdfs:label	Hindley–Milner type system (en) Typinferenz nach Hindley-Milner (de) Система типов Хиндли — Милнера (ru)
rdfs:seeAlso	dbr:Type_class
owl:sameAs	freebase:Hindley–Milner type system wikidata:Hindley–Milner type system dbpedia-de:Hindley–Milner type system dbpedia-ru:Hindley–Milner type system dbpedia-vi:Hindley–Milner type system dbpedia-global:Hindley–Milner type system dbr:Hindley–Milner type system
prov:wasDerivedFrom	wikipedia-en:Hindley–Milner_type_system?oldid=1279817262&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Hindley–Milner_type_system
is dbo:knownFor of	dbr:Harry_Mairson dbr:J._Roger_Hindley
is dbo:wikiPageRedirects of	dbr:Hindley–Milner_type_inference dbr:Hindley–Milner_type_inference dbr:Hindley–Milner_type_inference_algorithm dbr:Hindley–Milner_type_inference_algorithm dbr:Algorithm_W dbr:Hindley-Milner dbr:Hindley-Milner dbr:Let-polymorphism dbr:Let_generalization dbr:Let_polymorphism dbr:Damas-Hindley-Milner dbr:Damas-Milner dbr:Damas–Hindley–Milner dbr:Damas–Milner dbr:Hindley-Damas-Milner_theorem dbr:Hindley-Milner_Type_Inference dbr:Hindley-Milner_type_inference dbr:Hindley-Milner_type_inference_algorithm dbr:Hindley-Milner_type_system dbr:Hindley-Milner_typing dbr:Hindley–Milner dbr:HM(X) dbr:ML_(type_system) dbr:Milner-Hindley dbr:Milner-Hindley_type_system
is dbo:wikiPageWikiLink of	dbr:Narrowing_of_algebraic_value_sets dbr:F_Sharp_(programming_language) dbr:Typing_rule dbr:Robin_Milner dbr:HM dbr:Value_restriction dbr:ML_(programming_language) dbr:Dimensional_analysis dbr:Type_inference dbr:Hindley–Milner_type_inference dbr:Flix_(programming_language) dbr:Hindley–Milner_type_inference_algorithm dbr:Algorithm_W dbr:Hindley-Milner dbr:Let-polymorphism dbr:Let_generalization dbr:Let_polymorphism dbr:Damas-Hindley-Milner dbr:Damas-Milner dbr:Damas–Hindley–Milner dbr:Damas–Milner dbr:Hindley-Damas-Milner_theorem dbr:Hindley-Milner_Type_Inference dbr:Hindley-Milner_type_inference dbr:Hindley-Milner_type_inference_algorithm dbr:Hindley-Milner_type_system dbr:Hindley-Milner_typing dbr:Hindley–Milner dbr:HM(X) dbr:ML_(type_system) dbr:Milner-Hindley dbr:Milner-Hindley_type_system
is dbp:knownFor of	dbr:J._Roger_Hindley
is dbp:typing of	dbr:Flix_(programming_language) dbr:Futhark_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Hindley–Milner_type_system