Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ML_(programming_language)> ?p ?o. }
Showing items 1 to 93 of
93
with 100 items per page.
- ML_(programming_language) abstract "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). It is known for its use of the Hindley–Milner type inference algorithm, which can automatically infer the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.".
- ML_(programming_language) designer Robin_Milner.
- 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 Scala_(programming_language).
- ML_(programming_language) influencedBy ISWIM.
- ML_(programming_language) wikiPageExternalLink mlton.org.
- ML_(programming_language) wikiPageExternalLink default.aspx.
- ML_(programming_language) wikiPageExternalLink mythryl.org.
- ML_(programming_language) wikiPageExternalLink smlnj.org.
- ML_(programming_language) wikiPageExternalLink successor-ml.org.
- ML_(programming_language) wikiPageExternalLink book.pdf.
- ML_(programming_language) wikiPageID "20607".
- ML_(programming_language) wikiPageRevisionID "606156841".
- 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 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 Programming_paradigm.
- ML_(programming_language) typing Strong_and_weak_typing.
- ML_(programming_language) typing Type_inference.
- ML_(programming_language) typing Type_safety.
- ML_(programming_language) typing Type_system.
- ML_(programming_language) wordnet_type synset-programming_language-noun-1.
- ML_(programming_language) year "1973".
- 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: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) type Abstraction100002137.
- ML_(programming_language) type ArtificialLanguage106894544.
- ML_(programming_language) type Communication100033020.
- ML_(programming_language) type FunctionalLanguages.
- ML_(programming_language) type Language106282651.
- ML_(programming_language) type ProgrammingLanguage106898352.
- ML_(programming_language) type ProgrammingLanguagesCreatedIn1973.
- ML_(programming_language) type ProgrammingLanguage.
- ML_(programming_language) type Software.
- ML_(programming_language) type Work.
- ML_(programming_language) type CreativeWork.
- ML_(programming_language) type InformationEntity.
- 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 (Programmiersprache)".
- ML_(programming_language) label "ML (langage)".
- ML_(programming_language) label "ML (linguagem de programação)".
- ML_(programming_language) label "ML (programmeertaal)".
- ML_(programming_language) label "ML (programming language)".
- ML_(programming_language) label "ML (プログラミング言語)".
- ML_(programming_language) label "ML".
- ML_(programming_language) label "ML语言".
- ML_(programming_language) label "Meta Language".
- ML_(programming_language) label "Meta Lenguaje".
- ML_(programming_language) sameAs ML_(Programmiersprache).
- ML_(programming_language) sameAs ML_(γλώσσα_προγραμματισμού).
- ML_(programming_language) sameAs Meta_Lenguaje.
- ML_(programming_language) sameAs ML_(langage).
- 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 Q860654.
- ML_(programming_language) sameAs Q860654.
- ML_(programming_language) sameAs ML_(programming_language).
- ML_(programming_language) wasDerivedFrom ML_(programming_language)?oldid=606156841.
- ML_(programming_language) isPrimaryTopicOf ML_(programming_language).
- ML_(programming_language) name "ML".