Standard ML

E230804

functional programming language programming language specification statically typed programming language

Standard ML is a statically typed functional programming language with type inference and a formal semantics, widely used in programming language research and teaching.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label	Occurrences
Standard ML canonical	7
Standard ML language design	1
Standard ML language standardization	1

Statements (55)

Predicate	Object
instanceOf	functional programming language ⓘ programming language specification ⓘ statically typed programming language ⓘ
designedBy	Mads Tofte ⓘ Robert Harper ⓘ Robin Milner ⓘ others ⓘ
evaluationStrategy	strict evaluation ⓘ
hasFeature	Hindley–Milner type system ⓘ algebraic data types ⓘ call-by-value evaluation ⓘ exceptions ⓘ first-class functions ⓘ formal semantics ⓘ functors ⓘ garbage collection ⓘ lexical scoping ⓘ module system with signatures and structures ⓘ modules ⓘ parametric polymorphism ⓘ pattern matching ⓘ type inference ⓘ
hasImplementation	MLton ⓘ Moscow ML ⓘ Poly/ML ⓘ SML.NET ⓘ SML/NJ ⓘ Standard ML of New Jersey ⓘ
hasInfluentialWork	The Definition of Standard ML ⓘ The Definition of Standard ML ⓘ surface form: The Definition of Standard ML (Revised)
hasModuleComponent	functors ⓘ signatures ⓘ structures ⓘ
hasStandard	The Definition of Standard ML ⓘ The Definition of Standard ML ⓘ surface form: The Definition of Standard ML (Revised)
hasSyntax	expression-oriented syntax ⓘ
hasTypeSystem	static typing ⓘ
influenced	Cyclone ⓘ F# ⓘ Haskell ⓘ OCaml ⓘ Rust type system design ⓘ
influencedBy	LCF ⓘ ML ⓘ
paradigm	functional programming ⓘ imperative programming ⓘ modular programming ⓘ
standardizedIn	The Definition of Standard ML ⓘ The Definition of Standard ML ⓘ surface form: The Definition of Standard ML (Revised)
supports	abstract data types ⓘ separate compilation ⓘ
usedFor	compiler implementation research ⓘ formal methods research ⓘ programming language research ⓘ teaching programming languages ⓘ

Referenced by (9)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robin Milner → knownFor → Standard ML ⓘ

ML → influenced → Standard ML ⓘ

ML → hasSuccessor → Standard ML ⓘ

OCaml → influencedBy → Standard ML ⓘ

Hindley–Milner type system → usedIn → Standard ML ⓘ

The Definition of Standard ML → defines → Standard ML ⓘ

The Definition of Standard ML → subjectOf → Standard ML ⓘ

this entity surface form: Standard ML language design

The Definition of Standard ML → isBasisFor → Standard ML ⓘ

this entity surface form: Standard ML language standardization

Isabelle proof assistant → programmingLanguage → Standard ML ⓘ

subject surface form: Isabelle