Matches in DBpedia 2015-10 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 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 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 "10436".
- ML_(programming_language) wikiPageOutDegree "95".
- ML_(programming_language) wikiPageRevisionID "682464626".
- ML_(programming_language) wikiPageWikiLink ATS_(programming_language).
- ML_(programming_language) wikiPageWikiLink Algebraic_data_type.
- ML_(programming_language) wikiPageWikiLink Algebraic_data_types.
- ML_(programming_language) wikiPageWikiLink Alice_(programming_language).
- ML_(programming_language) wikiPageWikiLink Bell_Laboratories.
- 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 Closure_(computer_science).
- ML_(programming_language) wikiPageWikiLink Concurrent_ML.
- ML_(programming_language) wikiPageWikiLink Cyclone_(programming_language).
- 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 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 Expression_(programming).
- ML_(programming_language) wikiPageWikiLink F_Sharp_(programming_language).
- ML_(programming_language) wikiPageWikiLink Factorial.
- ML_(programming_language) wikiPageWikiLink Felix_(programming_language).
- ML_(programming_language) wikiPageWikiLink First-class_function.
- ML_(programming_language) wikiPageWikiLink First-order_logic.
- ML_(programming_language) wikiPageWikiLink First-order_predicate_calculus.
- ML_(programming_language) wikiPageWikiLink Functional_programming.
- ML_(programming_language) wikiPageWikiLink Functional_programming_language.
- 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_inference_algorithm.
- ML_(programming_language) wikiPageWikiLink Hindley–Milner_type_system.
- ML_(programming_language) wikiPageWikiLink ISWIM.
- ML_(programming_language) wikiPageWikiLink Imperative_programming.
- ML_(programming_language) wikiPageWikiLink Infinite_descending_chain.
- ML_(programming_language) wikiPageWikiLink Interprocedural_optimization.
- ML_(programming_language) wikiPageWikiLink Jeffrey_D._Ullman.
- ML_(programming_language) wikiPageWikiLink Jeffrey_Ullman.
- ML_(programming_language) wikiPageWikiLink LCF_theorem_prover.
- 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 Linear_time.
- 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 Multi-paradigm_programming_language.
- 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.