Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Standard_ML> ?p ?o. }
Showing items 1 to 92 of
92
with 100 items per page.
- 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 Rust_(programming_language).
- Standard_ML influencedBy Hope_(programming_language).
- Standard_ML influencedBy ML_(programming_language).
- Standard_ML wikiPageExternalLink isabelle.in.tum.de.
- Standard_ML wikiPageExternalLink mythryl.org.
- Standard_ML wikiPageExternalLink SMLNET.
- Standard_ML wikiPageExternalLink sml-tutorial.pdf.
- Standard_ML wikiPageExternalLink book.pdf.
- Standard_ML wikiPageExternalLink examples.
- Standard_ML wikiPageExternalLink tilt.html.
- Standard_ML wikiPageExternalLink notes.html.
- Standard_ML wikiPageExternalLink ur.
- 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 wikiPageRevisionID "605165294".
- Standard_ML curator Mads_Tofte.
- Standard_ML dialects Alice_(programming_language).
- Standard_ML dialects Dependent_ML.
- Standard_ML fileExt ".sml".
- Standard_ML hasPhotoCollection Standard_ML.
- Standard_ML implementations MLton.
- Standard_ML implementations Moscow_ML.
- Standard_ML implementations Standard_ML_of_New_Jersey.
- Standard_ML implementations MLKit.
- Standard_ML implementations MLWorks.
- Standard_ML implementations MLj.
- Standard_ML implementations ML.
- Standard_ML implementations SML.NET.
- Standard_ML influenced Rust_(programming_language).
- Standard_ML influencedBy Hope_(programming_language).
- Standard_ML influencedBy ML_(programming_language).
- Standard_ML name "Standard ML".
- Standard_ML paradigm Functional_programming.
- Standard_ML paradigm Imperative_programming.
- Standard_ML paradigm Programming_paradigm.
- Standard_ML title "Standard ML language".
- Standard_ML typing Strong_and_weak_typing.
- Standard_ML typing Type_inference.
- Standard_ML typing Type_system.
- Standard_ML urlname "Standard_ML_language".
- Standard_ML wordnet_type synset-programming_language-noun-1.
- Standard_ML subject Category:Functional_languages.
- Standard_ML subject Category:ML_programming_language_family.
- Standard_ML subject Category:Procedural_programming_languages.
- Standard_ML subject Category:Programming_languages_created_in_1990.
- Standard_ML type Abstraction100002137.
- Standard_ML type ArtificialLanguage106894544.
- Standard_ML type Communication100033020.
- Standard_ML type FunctionalLanguages.
- Standard_ML type Language106282651.
- Standard_ML type ProgrammingLanguage106898352.
- Standard_ML type ProgrammingLanguagesCreatedIn1990.
- Standard_ML type ProgrammingLanguage.
- Standard_ML type Software.
- Standard_ML type Work.
- Standard_ML type CreativeWork.
- Standard_ML type InformationEntity.
- Standard_ML comment "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.".
- Standard_ML label "SML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML label "Standard ML".
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs Standard_ML.
- Standard_ML sameAs m.0pkgc.
- Standard_ML sameAs Q597330.
- Standard_ML sameAs Q597330.
- Standard_ML sameAs Standard_ML.
- Standard_ML wasDerivedFrom Standard_ML?oldid=605165294.
- Standard_ML isPrimaryTopicOf Standard_ML.
- Standard_ML name "Standard ML".