Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ML_(programming_language)> ?p ?o }
- ML_(programming_language) wikiPageWikiLink Quadratic_time.
- ML_(programming_language) wikiPageWikiLink Recursion.
- ML_(programming_language) wikiPageWikiLink Robert_Harper_(computer_scientist).
- ML_(programming_language) wikiPageWikiLink Robin_Milner.
- ML_(programming_language) wikiPageWikiLink Rust_(programming_language).
- ML_(programming_language) wikiPageWikiLink NJ.
- ML_(programming_language) wikiPageWikiLink Scala_(programming_language).
- ML_(programming_language) wikiPageWikiLink Scope_(computer_science).
- ML_(programming_language) wikiPageWikiLink Side-effect_(computer_science).
- ML_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- ML_(programming_language) wikiPageWikiLink Standard_ML.
- ML_(programming_language) wikiPageWikiLink Standard_ML_of_New_Jersey.
- ML_(programming_language) wikiPageWikiLink Static_typing.
- ML_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- ML_(programming_language) wikiPageWikiLink Strong_typing.
- ML_(programming_language) wikiPageWikiLink Tail-recursive.
- ML_(programming_language) wikiPageWikiLink Tail_call.
- ML_(programming_language) wikiPageWikiLink Time_complexity.
- ML_(programming_language) wikiPageWikiLink Type_inference.
- ML_(programming_language) wikiPageWikiLink Type_safety.
- ML_(programming_language) wikiPageWikiLink Type_system.
- ML_(programming_language) wikiPageWikiLink University_of_Edinburgh.
- ML_(programming_language) wikiPageWikiLink Whole_program_optimization.
- ML_(programming_language) wikiPageWikiLinkText "ML (programming language)".
- ML_(programming_language) wikiPageWikiLinkText "ML family and derived languages".
- ML_(programming_language) wikiPageWikiLinkText "ML programming language".
- ML_(programming_language) wikiPageWikiLinkText "ML".
- ML_(programming_language) wikiPageWikiLinkText "ML-style".
- ML_(programming_language) wikiPageWikiLinkText "Standard ML".
- ML_(programming_language) designer "Robin Milner & others at the University of Edinburgh".
- ML_(programming_language) dialects OCaml.
- ML_(programming_language) dialects Standard_ML.
- ML_(programming_language) hasPhotoCollection ML_(programming_language).
- ML_(programming_language) influenced C++.
- ML_(programming_language) influenced Clojure.
- ML_(programming_language) influenced Cyclone_(programming_language).
- ML_(programming_language) influenced Erlang_(programming_language).
- ML_(programming_language) influenced F_Sharp_(programming_language).
- ML_(programming_language) influenced Felix_(programming_language).
- ML_(programming_language) influenced Haskell_(programming_language).
- ML_(programming_language) influenced Miranda_(programming_language).
- ML_(programming_language) influenced Opa_(programming_language).
- ML_(programming_language) influenced Rust_(programming_language).
- ML_(programming_language) influenced Scala_(programming_language).
- ML_(programming_language) influencedBy ISWIM.
- ML_(programming_language) name "ML".
- ML_(programming_language) paradigm Functional_programming.
- ML_(programming_language) paradigm Imperative_programming.
- ML_(programming_language) paradigm Multi-paradigm_programming_language.
- ML_(programming_language) paradigm Programming_paradigm.
- ML_(programming_language) typing Static_typing.
- ML_(programming_language) typing Strong_and_weak_typing.
- ML_(programming_language) typing Strong_typing.
- ML_(programming_language) typing Type_inference.
- ML_(programming_language) typing Type_safety.
- ML_(programming_language) typing Type_system.
- ML_(programming_language) wikiPageUsesTemplate Template:Citation_needed.
- ML_(programming_language) wikiPageUsesTemplate Template:Cite_book.
- ML_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- ML_(programming_language) wikiPageUsesTemplate Template:Refimprove.
- ML_(programming_language) wikiPageUsesTemplate Template:Reflist.
- ML_(programming_language) subject Category:Academic_programming_languages.
- ML_(programming_language) subject Category:Functional_languages.
- ML_(programming_language) subject Category:ML_programming_language_family.
- ML_(programming_language) subject Category:Pattern_matching_programming_languages.
- ML_(programming_language) subject Category:Procedural_programming_languages.
- ML_(programming_language) subject Category:Programming_languages_created_in_1973.
- ML_(programming_language) subject Category:Programming_languages_created_in_the_1970s.
- ML_(programming_language) subject Category:Statically_typed_programming_languages.
- ML_(programming_language) hypernym Language.
- ML_(programming_language) type Language.
- ML_(programming_language) type ProgrammingLanguage.
- ML_(programming_language) type Software.
- ML_(programming_language) type Work.
- ML_(programming_language) type CreativeWork.
- ML_(programming_language) type Thing.
- ML_(programming_language) type Q386724.
- ML_(programming_language) type Q7397.
- ML_(programming_language) type Q9143.
- ML_(programming_language) comment "ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus, had ML as its metalanguage).".
- ML_(programming_language) label "ML (programming language)".
- ML_(programming_language) sameAs ML.
- ML_(programming_language) sameAs ML.
- ML_(programming_language) sameAs ML_(Programmiersprache).
- ML_(programming_language) sameAs ML_(γλώσσα_προγραμματισμού).
- ML_(programming_language) sameAs Meta_Lenguaje.
- ML_(programming_language) sameAs امال_(زبان_برنامهنویسی).
- ML_(programming_language) sameAs ML_(ohjelmointikieli).
- ML_(programming_language) sameAs ML_(langage).
- ML_(programming_language) sameAs ML_(שפת_תכנות).
- ML_(programming_language) sameAs ML_(programski_jezik).
- ML_(programming_language) sameAs ML_(linguaggio_di_programmazione).
- ML_(programming_language) sameAs ML_(プログラミング言語).
- ML_(programming_language) sameAs ML_(프로그래밍_언어).
- ML_(programming_language) sameAs ML_(programmeertaal).
- ML_(programming_language) sameAs Meta_Language.
- ML_(programming_language) sameAs ML_(linguagem_de_programação).
- ML_(programming_language) sameAs m.055mc.
- ML_(programming_language) sameAs ML.
- ML_(programming_language) sameAs ML_(programski_jezik).