Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ML_(programming_language)> ?p ?o }
- 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 system, whose type inference algorithm can automatically assign 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 Coq.
- ML_(programming_language) influenced Cyclone_(programming_language).
- ML_(programming_language) influenced Elm_(programming_language).
- ML_(programming_language) influenced Erlang_(programming_language).
- ML_(programming_language) influenced F_Sharp_(programming_language).
- ML_(programming_language) influenced Haskell_(programming_language).
- ML_(programming_language) influenced Idris_(programming_language).
- ML_(programming_language) influenced Miranda_(programming_language).
- ML_(programming_language) influenced Nemerle.
- 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) wikiPageExternalLink book.pdf.
- 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 cakeml.org.
- ML_(programming_language) wikiPageID "20607".
- ML_(programming_language) wikiPageLength "11155".
- ML_(programming_language) wikiPageOutDegree "100".
- ML_(programming_language) wikiPageRevisionID "706873034".
- ML_(programming_language) wikiPageWikiLink ATS_(programming_language).
- ML_(programming_language) wikiPageWikiLink Algebraic_data_type.
- ML_(programming_language) wikiPageWikiLink Alice_(programming_language).
- ML_(programming_language) wikiPageWikiLink Bell_Labs.
- ML_(programming_language) wikiPageWikiLink C++.
- ML_(programming_language) wikiPageWikiLink Call_stack.
- ML_(programming_language) wikiPageWikiLink Caml.
- ML_(programming_language) wikiPageWikiLink Category:Academic_programming_languages.
- ML_(programming_language) wikiPageWikiLink Category:Functional_languages.
- ML_(programming_language) wikiPageWikiLink Category:ML_programming_language_family.
- ML_(programming_language) wikiPageWikiLink Category:Pattern_matching_programming_languages.
- ML_(programming_language) wikiPageWikiLink Category:Procedural_programming_languages.
- ML_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_1973.
- ML_(programming_language) wikiPageWikiLink Category:Programming_languages_created_in_the_1970s.
- ML_(programming_language) wikiPageWikiLink Category:Statically_typed_programming_languages.
- ML_(programming_language) wikiPageWikiLink Clean_(programming_language).
- ML_(programming_language) wikiPageWikiLink Clojure.
- ML_(programming_language) wikiPageWikiLink Closure_(computer_programming).
- ML_(programming_language) wikiPageWikiLink Concurrent_ML.
- ML_(programming_language) wikiPageWikiLink Coq.
- ML_(programming_language) wikiPageWikiLink Cyclone_(programming_language).
- ML_(programming_language) wikiPageWikiLink Data_type.
- ML_(programming_language) wikiPageWikiLink Dependent_ML.
- ML_(programming_language) wikiPageWikiLink Eager_evaluation.
- ML_(programming_language) wikiPageWikiLink Elm_(programming_language).
- ML_(programming_language) wikiPageWikiLink Erlang_(programming_language).
- ML_(programming_language) wikiPageWikiLink Evaluation_strategy.
- ML_(programming_language) wikiPageWikiLink Exception_handling.
- ML_(programming_language) wikiPageWikiLink Expression_(computer_science).
- ML_(programming_language) wikiPageWikiLink F_Sharp_(programming_language).
- ML_(programming_language) wikiPageWikiLink Factorial.
- ML_(programming_language) wikiPageWikiLink First-class_function.
- ML_(programming_language) wikiPageWikiLink First-order_logic.
- ML_(programming_language) wikiPageWikiLink Functional_programming.
- ML_(programming_language) wikiPageWikiLink Futures_and_promises.
- ML_(programming_language) wikiPageWikiLink Garbage_collection_(computer_science).
- ML_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- ML_(programming_language) wikiPageWikiLink Hindley–Milner_type_system.
- ML_(programming_language) wikiPageWikiLink ISWIM.
- ML_(programming_language) wikiPageWikiLink Idris_(programming_language).
- ML_(programming_language) wikiPageWikiLink Imperative_programming.
- ML_(programming_language) wikiPageWikiLink Infinite_descending_chain.
- ML_(programming_language) wikiPageWikiLink Interprocedural_optimization.
- ML_(programming_language) wikiPageWikiLink Jeffrey_Ullman.
- ML_(programming_language) wikiPageWikiLink Lambda_calculus.
- ML_(programming_language) wikiPageWikiLink Lawrence_Paulson.
- ML_(programming_language) wikiPageWikiLink Lazy_ML.
- ML_(programming_language) wikiPageWikiLink Lazy_evaluation.
- ML_(programming_language) wikiPageWikiLink Logic_for_Computable_Functions.
- ML_(programming_language) wikiPageWikiLink MLDonkey.
- ML_(programming_language) wikiPageWikiLink MLton.
- ML_(programming_language) wikiPageWikiLink Mads_Tofte.
- ML_(programming_language) wikiPageWikiLink Metalanguage.
- ML_(programming_language) wikiPageWikiLink Miranda_(programming_language).
- ML_(programming_language) wikiPageWikiLink Moscow_ML.
- ML_(programming_language) wikiPageWikiLink Nemerle.
- ML_(programming_language) wikiPageWikiLink OCaml.
- ML_(programming_language) wikiPageWikiLink Opa_(programming_language).
- ML_(programming_language) wikiPageWikiLink PAL_(programming_language).
- ML_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- ML_(programming_language) wikiPageWikiLink Pattern_matching.
- ML_(programming_language) wikiPageWikiLink Polymorphism_(computer_science).
- ML_(programming_language) wikiPageWikiLink Princeton_University.
- ML_(programming_language) wikiPageWikiLink Programming_paradigm.
- ML_(programming_language) wikiPageWikiLink Purely_functional.
- 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 Scala_(programming_language).
- ML_(programming_language) wikiPageWikiLink Scope_(computer_science).
- ML_(programming_language) wikiPageWikiLink Side_effect_(computer_science).