About: Standard ML

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Standard ML Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

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.

Attributes	Values
rdfs: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.
foaf:name	Standard ML
influenced	Rust OCaml
influenced by	dbpedia:Hope_(programming_language) ML Scala Standard ML of New Jersey Haskell Rust F* OCaml Elm
is known for of	Mads Tofte
is programming language of	Isabelle

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software