About: ML (programming language)

Property	Value
dbo:description	langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programozási nyelv (hu) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) bahasa pemrograman fungsional (in) funktional Programméiersprooch (lb) funktionale Programmiersprache (de) functional programming language (en) fonksiyonel programlama dili (tr) funkcia programlingvo (eo) машинно обучение (bg) 범용 프로그래밍 언어의 일종 (ko)
dbo:designer	dbr:Robin_Milner dbr:University_of_Edinburgh
dbo:influenced	dbr:Caml dbr:C++ dbr:Clojure dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Haskell dbr:Kotlin_(programming_language) dbr:Opa_(programming_language) dbr:Rust_(programming_language) dbr:Cyclone_(programming_language) dbr:Nemerle dbr:Erlang_(programming_language) dbr:Scala_(programming_language) dbr:Coq_(software) dbr:Miranda_(programming_language) dbr:Elm_(programming_language) dbr:Idris_(programming_language)
dbo:influencedBy	dbr:ISWIM
dbo:wikiPageExternalLink	https://web.archive.org/web/20100218004857/http:/msdn.microsoft.com/en-us/fsharp/default.aspx http://mlton.org https://smlfamily.github.io/sml97-defn.pdf http://smlnj.org https://cakeml.org https://github.com/SMLFamily/Successor-ML http://msdn.microsoft.com/en-us/fsharp/default.aspx https://www.cs.cmu.edu/~rwh/isml/book.pdf
dbo:wikiPageWikiLink	dbr:Currying dbr:Multi-paradigm_programming_language dbc:ML_programming_language_family dbr:Functional_programming dbr:Imperative_programming dbr:Evaluation_strategy dbr:First-class_function dbr:Tail_call dbr:Call_stack dbr:.NET_Framework dbr:C++ dbc:Functional_languages dbr:ECMAScript dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Lambda_calculus dbr:Clojure dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbc:Programming_languages_created_in_1973 dbr:First-order_logic dbr:Factorial dbr:API dbr:Kotlin_(programming_language) dbr:Automated_theorem_proving dbr:Hindley–Milner_type_system dbr:Type_system dbr:Opa_(programming_language) dbc:Procedural_programming_languages dbc:Statically_typed_programming_languages dbr:OCaml dbr:Dependent_ML dbr:ATS_(programming_language) dbr:TypeScript dbr:Coq dbr:Lazy_evaluation dbr:Rust_(programming_language) dbr:Data_type dbr:Mads_Tofte dbr:Recursion_(computer_science) dbr:Cyclone_(programming_language) dbr:Robin_Milner dbr:Lisp_(programming_language) dbr:Bioinformatics dbr:Generic_programming dbr:Scope_(computer_science) dbr:Nemerle dbr:Erlang_(programming_language) dbr:University_of_Edinburgh dbr:ISWIM dbr:Interface_(Java) dbr:Scala_(programming_language) dbr:Exception_handling dbr:Logic_for_Computable_Functions dbr:Robert_Harper_(computer_scientist) dbr:Formal_verification dbr:Pattern_matching dbr:PAL_(programming_language) dbc:Academic_programming_languages dbc:Pattern_matching_programming_languages dbr:Garbage_collection_(computer_science) dbr:Infinite_descending_chain dbr:Type_inference dbr:Miranda_(programming_language) dbr:CoffeeScript dbr:Elm_(programming_language) dbr:Lawrence_Paulson dbr:Haskell_(programming_language) dbr:Formal_semantics_of_programming_languages dbr:Lazy_ML dbr:Static_typing dbr:Jeffrey_D._Ullman dbr:Linear_time dbr:Idris_(programming_language) dbr:Strong_typing dbr:Eager_evaluation dbr:Expression_(programming) dbr:General_purpose_programming_language dbr:Side-effect_(computer_science) dbr:Call-by-value dbr:Closure_(computer_science) dbr:Compiler_writing dbr:Algebraic_data_types dbr:Quadratic_time dbr:Purely_functional_language
dbp:date	2010-02-18 (xsd:date)
dbp:designer	Robin Milner, others at the University of Edinburgh (en)
dbp:dialects	dbr:Caml dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:OCaml
dbp:influenced	dbr:Caml dbr:C++ dbr:Clojure dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Haskell dbr:Kotlin_(programming_language) dbr:Opa_(programming_language) dbr:Rust_(programming_language) dbr:Cyclone_(programming_language) dbr:Nemerle dbr:Erlang_(programming_language) dbr:Scala_(programming_language) dbr:Coq_(software) dbr:Miranda_(programming_language) dbr:Elm_(programming_language) dbr:Idris_(programming_language)
dbp:influencedBy	dbr:ISWIM
dbp:name	ML (en)
dbp:paradigm	dbr:Multi-paradigm_programming_language dbr:Functional_programming dbr:Imperative_programming dbr:Generic_programming
dbp:typing	dbr:Strong_and_weak_typing dbr:Type_system dbr:Type_inference
dbp:url	https://web.archive.org/web/20100218004857/http:/msdn.microsoft.com/en-us/fsharp/default.aspx
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:! dbt:Start_date_and_age dbt:Reflist dbt:Programming_languages dbt:Infobox_programming_language dbt:ISBN dbt:More_citations_needed dbt:Refend dbt:Other_uses dbt:Refbegin dbt:ML_programming dbt:Section_link dbt:Webarchive dbt:Short_description
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1
dct:subject	dbc:ML_programming_language_family dbc:Functional_languages dbc:Programming_languages_created_in_1973 dbc:High-level_programming_languages dbc:Procedural_programming_languages dbc:Statically_typed_programming_languages dbc:Academic_programming_languages dbc:Pattern_matching_programming_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	ML (programming language) (en) أم أل (لغة برمجة) (ar) ML (ca) ML (γλώσσα προγραμματισμού) (el) ML (programlingvo) (eo) ML (Programmiersprache) (de) ML (lenguaje de programación) (es) ML (langage) (fr) ML (プログラミング言語) (ja) ML (linguaggio di programmazione) (it) ML (프로그래밍 언어) (ko) ML (programmeertaal) (nl) Meta Language (pl) ML (linguagem de programação) (pt) ML (ru) ML (programspråk) (sv) ML (uk) ML语言 (zh)
owl:sameAs	freebase:ML (programming language) yago-res:ML (programming language) wikidata:ML (programming language) dbpedia-it:ML (programming language) dbpedia-nl:ML (programming language) dbpedia-de:ML (programming language) dbpedia-fr:ML (programming language) dbpedia-tr:ML (programming language) dbpedia-zh:ML (programming language) dbpedia-ja:ML (programming language) dbpedia-pt:ML (programming language) dbpedia-he:ML (programming language) dbpedia-es:ML (programming language) dbpedia-hu:ML (programming language) dbpedia-fa:ML (programming language) dbpedia-ru:ML (programming language) dbpedia-sv:ML (programming language) dbpedia-pl:ML (programming language) dbpedia-ko:ML (programming language) dbpedia-el:ML (programming language) dbpedia-ca:ML (programming language) dbpedia-an:ML (programming language) dbpedia-ar:ML (programming language) dbpedia-eo:ML (programming language) dbpedia-fi:ML (programming language) dbpedia-hr:ML (programming language) dbpedia-no:ML (programming language) dbpedia-sh:ML (programming language) dbpedia-sr:ML (programming language) dbpedia-tg:ML (programming language) dbpedia-uk:ML (programming language) dbpedia-global:ML (programming language)
prov:wasDerivedFrom	wikipedia-en:ML_(programming_language)?oldid=1287990478&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ML_(programming_language)
foaf:name	ML (en)
is dbo:influenced of	dbr:Lisp_(programming_language) dbr:ISWIM
is dbo:influencedBy of	dbr:Caml dbr:C++ dbr:C_Sharp_(programming_language) dbr:Clojure dbr:Standard_ML dbr:F_Sharp_(programming_language)__F#__1 dbr:Haskell dbr:Kotlin_(programming_language) dbr:ParaSail_(programming_language) dbr:Claire_(programming_language) dbr:ATS_(programming_language) dbr:Pict_(programming_language) dbr:Ceylon_(programming_language) dbr:Nemerle dbr:Alice_(programming_language) dbr:Orc_(programming_language) dbr:Miranda_(programming_language) dbr:Concurrent_ML dbr:Extended_ML dbr:Lean_(proof_assistant) dbr:Idris_(programming_language) dbr:Bosque_(programming_language) dbr:Ur_(programming_language)
is dbo:knownFor of	dbr:Robin_Milner dbr:Lennart_Augustsson dbr:Lawrence_Paulson
is dbo:wikiPageDisambiguates of	dbr:ML
is dbo:wikiPageRedirects of	dbr:ML_programming_language dbr:ML_programming_language dbr:ML_(language) dbr:ML_language dbr:Ml_programming_language
is dbo:wikiPageWikiLink of	dbr:Index_of_computing_articles dbr:Syntactic_sugar dbr:Currying dbr:System_F dbr:List_of_functional_programming_topics dbr:Amiga_programming_languages dbr:Let_expression dbr:Metalanguage_(disambiguation) dbr:Declarative_programming dbr:Unit_type dbr:History_of_software dbr:Functional_programming dbr:Closure_(computer_programming) dbr:Evaluation_strategy dbr:ML dbr:First-class_function dbr:Tail_call dbr:Enumerated_type dbr:Monad_(functional_programming) dbr:Caml dbr:Self-reference dbr:C++ dbr:C_Sharp_(programming_language) dbr:Parametric_polymorphism dbr:Polymorphism_(computer_science) dbr:Clojure dbr:Variable_(computer_science) dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:Function_object dbr:At_sign dbr:Haskell dbr:Exclamation_mark dbr:Kotlin_(programming_language) dbr:Categorical_abstract_machine dbr:ParaSail_(programming_language) dbr:First-class_citizen dbr:Kent_Recursive_Calculator dbr:List_of_programming_languages_by_type dbr:Hindley–Milner_type_system dbr:Type_system dbr:Dynamic_compilation dbr:Type_theory dbr:Constant_(computer_programming) dbr:Claire_(programming_language) dbr:Matthew_Flatt dbr:Operator_overloading dbr:Colon_(punctuation) dbr:Compiled_language dbr:Wide-spectrum_language dbr:Comparison_of_parser_generators dbr:Metalanguage dbr:OCaml dbr:Assignment_(computer_science) dbr:Parameter_(computer_programming) dbr:Hope_(programming_language) dbr:Expression-oriented_programming_language dbr:FL_(programming_language) dbr:Anonymous_function dbr:ATS_(programming_language) dbr:Algebraic_data_type dbr:Arity dbr:Type_signature dbr:Conditional_(computer_programming) dbr:Ternary_conditional_operator dbr:Printf_format_string dbr:Generational_list_of_programming_languages dbr:C_Sharp_3.0 dbr:Incremental_compiler dbr:Outline_of_software_engineering dbr:Pict_(programming_language) dbr:Principal_type dbr:Product_type dbr:ProgramByDesign dbr:History_of_programming_languages dbr:Programming_language dbr:MLisp dbr:MacroML dbr:Mads_Tofte dbr:Daniel_P._Friedman dbr:Library_of_Congress_Classification:Class_Q_--_Science dbr:SPARC dbr:Computer_program dbr:Cyclone_(programming_language) dbr:Ceylon_(programming_language) dbr:"Hello,_World!"_program dbr:Lisp_(programming_language) dbr:ALGOL dbr:Asterisk dbr:Generic_programming dbr:Relational_operator dbr:Scope_(computer_science) dbr:Timeline_of_programming_languages dbr:Lua_(programming_language) dbr:John_C._Reynolds dbr:Nemerle dbr:Partial_application dbr:Cool_(programming_language) dbr:Visual_Studio dbr:ISWIM dbr:Operational_semantics dbr:Harry_Mairson dbr:Scala_(programming_language) dbr:PhoX dbr:Callback_(computer_programming) dbr:School_of_Informatics,_University_of_Edinburgh dbr:ICFP_Programming_Contest dbr:Mutual_recursion dbr:Logic_for_Computable_Functions dbr:Tagged_union dbr:CLU_(programming_language) dbr:Pattern_matching dbr:Alice_(programming_language) dbr:Harlequin_(software_company) dbr:Modular_programming dbr:Orc_(programming_language) dbr:Value_restriction dbr:Binary_tree dbr:List_of_University_of_Edinburgh_people dbr:Aspect-oriented_programming dbr:Modern_C++_Design dbr:Haxe dbr:Garbage_collection_(computer_science) dbr:Type_inference dbr:Miranda_(programming_language) dbr:Lambda_cube dbr:List_of_CLI_languages dbr:Concurrent_ML dbr:Extended_ML dbr:Alias_analysis dbr:Lennart_Augustsson dbr:Comparison_of_programming_languages_(syntax) dbr:Higher-order_programming dbr:List_of_programming_language_researchers dbr:Michael_J._C._Gordon dbr:Funarg_problem dbr:Generalized_algebraic_data_type dbr:Programming_language_theory dbr:XML_transformation_language dbr:Nuprl dbr:Microsoft_and_open_source dbr:List_of_computer_scientists dbr:Lean_(proof_assistant) dbr:Luca_Cardelli dbr:Milner_Award dbr:Lawrence_Paulson dbr:Qualification_principle dbr:Protocol_(object-oriented_programming) dbr:Outline_of_C++ dbr:ML_programming_language dbr:List_of_programming_languages dbr:Idris_(programming_language) dbr:Bosque_(programming_language) dbr:Ur_(programming_language) dbr:Comparison_of_programming_languages_(functional_programming) dbr:HOL_(proof_assistant) dbr:Strict_programming_language dbr:ML_(language) dbr:ML_language dbr:Ml_programming_language
is dbp:family of	dbr:Standard_ML_of_New_Jersey dbr:Caml dbr:Standard_ML dbr:F*_(programming_language) dbr:F_Sharp_(programming_language) dbr:OCaml dbr:JoCaml dbr:ATS_(programming_language) dbr:Alice_(programming_language) dbr:Concurrent_ML dbr:Extended_ML dbr:Reason_(programming_language) dbr:Ur_(programming_language) dbr:MLton dbr:Eff_(programming_language) dbr:Futhark_(programming_language)
is dbp:influenced of	dbr:ISWIM
is dbp:influencedBy of	dbr:Caml dbr:C++ dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:Kotlin_(programming_language) dbr:ParaSail_(programming_language) dbr:ATS_(programming_language) dbr:Pict_(programming_language) dbr:Ceylon_(programming_language) dbr:Nemerle dbr:Alice_(programming_language) dbr:Orc_(programming_language) dbr:Miranda_(programming_language) dbr:Concurrent_ML dbr:Extended_ML dbr:Lean_(proof_assistant) dbr:Idris_(programming_language) dbr:Bosque_(programming_language) dbr:Ur_(programming_language)
is foaf:primaryTopic of	wikipedia-en:ML_(programming_language)