DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Standard_ML> ?p ?o }

• Standard_ML abstract "Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).".
• Standard_ML influenced OCaml.
• Standard_ML influenced Rust_(programming_language).
• Standard_ML influencedBy Hope_(programming_language).
• Standard_ML influencedBy ML_(programming_language).
• Standard_ML wikiPageExternalLink book.pdf.
• Standard_ML wikiPageExternalLink isabelle.in.tum.de.
• Standard_ML wikiPageExternalLink SMLNET.
• Standard_ML wikiPageExternalLink sml-tutorial.pdf.
• Standard_ML wikiPageExternalLink examples.
• Standard_ML wikiPageExternalLink tilt.html.
• Standard_ML wikiPageExternalLink notes.html.
• Standard_ML wikiPageExternalLink mlkit.
• Standard_ML wikiPageExternalLink mosml.html.
• Standard_ML wikiPageExternalLink ECS-LFCS-97-364.pdf.
• Standard_ML wikiPageExternalLink www.mlton.org.
• Standard_ML wikiPageExternalLink hamlet.
• Standard_ML wikiPageExternalLink smlsharp.
• Standard_ML wikiPageExternalLink www.polyml.org.
• Standard_ML wikiPageExternalLink www.smlnj.org.
• Standard_ML wikiPageExternalLink sml.html.
• Standard_ML wikiPageExternalLink sml97.html.
• Standard_ML wikiPageExternalLink www.successor-ml.org.
• Standard_ML wikiPageID "100337".
• Standard_ML wikiPageLength "33711".
• Standard_ML wikiPageOutDegree "112".
• Standard_ML wikiPageRevisionID "682351911".
• Standard_ML wikiPageWikiLink .NET_Framework.
• Standard_ML wikiPageWikiLink Abstract_data_type.
• Standard_ML wikiPageWikiLink Abstraction_(computer_science).
• Standard_ML wikiPageWikiLink Adapter_pattern.
• Standard_ML wikiPageWikiLink Algebraic_data_type.
• Standard_ML wikiPageWikiLink Algebraic_datatypes.
• Standard_ML wikiPageWikiLink Alice_(programming_language).
• Standard_ML wikiPageWikiLink Anonymous_function.
• Standard_ML wikiPageWikiLink Arity.
• Standard_ML wikiPageWikiLink Assembly_language.
• Standard_ML wikiPageWikiLink Automated_theorem_proving.
• Standard_ML wikiPageWikiLink Breadth-first_search.
• Standard_ML wikiPageWikiLink C_(programming_language).
• Standard_ML wikiPageWikiLink Caml.
• Standard_ML wikiPageWikiLink Category:Functional_languages.
• Standard_ML wikiPageWikiLink Category:ML_programming_language_family.
• Standard_ML wikiPageWikiLink Category:Procedural_programming_languages.
• Standard_ML wikiPageWikiLink Category:Programming_languages_created_in_1990.
• Standard_ML wikiPageWikiLink Class_hierarchies.
• Standard_ML wikiPageWikiLink Class_hierarchy.
• Standard_ML wikiPageWikiLink Clausal_function_definitions.
• Standard_ML wikiPageWikiLink Closed-world_assumption.
• Standard_ML wikiPageWikiLink Closed_world_assumption.
• Standard_ML wikiPageWikiLink Common_Language_Runtime.
• Standard_ML wikiPageWikiLink Common_Lisp.
• Standard_ML wikiPageWikiLink Compile-time_type_checking.
• Standard_ML wikiPageWikiLink Compiler.
• Standard_ML wikiPageWikiLink Concurrency_(computer_science).
• Standard_ML wikiPageWikiLink Concurrent_ML.
• Standard_ML wikiPageWikiLink Constraint_programming.
• Standard_ML wikiPageWikiLink Currying.
• Standard_ML wikiPageWikiLink Data_abstraction.
• Standard_ML wikiPageWikiLink Dependent_ML.
• Standard_ML wikiPageWikiLink Discrete_wavelet_transform.
• Standard_ML wikiPageWikiLink Disjoint_union.
• Standard_ML wikiPageWikiLink Distributed_computing.
• Standard_ML wikiPageWikiLink Emacs.
• Standard_ML wikiPageWikiLink Expression_(computer_science).
• Standard_ML wikiPageWikiLink Expression_(programming).
• Standard_ML wikiPageWikiLink Extended_ML.
• Standard_ML wikiPageWikiLink Extensible_ML.
• Standard_ML wikiPageWikiLink F_Sharp_(programming_language).
• Standard_ML wikiPageWikiLink Factorial.
• Standard_ML wikiPageWikiLink Function_(programming).
• Standard_ML wikiPageWikiLink Functional_programming.
• Standard_ML wikiPageWikiLink Functional_programming_language.
• Standard_ML wikiPageWikiLink Generic_programming.
• Standard_ML wikiPageWikiLink Haar_wavelet.
• Standard_ML wikiPageWikiLink Harlequin_(software_company).
• Standard_ML wikiPageWikiLink Herons_formula.
• Standard_ML wikiPageWikiLink Hindley–Milner_type_inference.
• Standard_ML wikiPageWikiLink Hindley–Milner_type_system.
• Standard_ML wikiPageWikiLink Hope_(programming_language).
• Standard_ML wikiPageWikiLink Imperative_programming.
• Standard_ML wikiPageWikiLink Integer.
• Standard_ML wikiPageWikiLink Interface_(computer_science).
• Standard_ML wikiPageWikiLink Interface_(computing).
• Standard_ML wikiPageWikiLink Interprocedural_optimization.
• Standard_ML wikiPageWikiLink JEdit.
• Standard_ML wikiPageWikiLink Lazy_evaluation.
• Standard_ML wikiPageWikiLink Linear_time.
• Standard_ML wikiPageWikiLink Logic_for_Computable_Functions.
• Standard_ML wikiPageWikiLink MLKit.
• Standard_ML wikiPageWikiLink MLWorks.
• Standard_ML wikiPageWikiLink ML_(programming_language).
• Standard_ML wikiPageWikiLink ML_programming_language.
• Standard_ML wikiPageWikiLink MLj.
• Standard_ML wikiPageWikiLink MLton.
• Standard_ML wikiPageWikiLink Machine_epsilon.
• Standard_ML wikiPageWikiLink Mads_Tofte.
• Standard_ML wikiPageWikiLink Modular_programming.
• Standard_ML wikiPageWikiLink Module_(programming).
• Standard_ML wikiPageWikiLink Moscow_ML.

• next