Standard ML

Programming language

Last price

—

Floor price

—

7-day median

—

30-day sales

30-day range

—

In circulation

Price history

Show table

Date	median	Low	High	sales

Sales history

Last sale: —
30-day average: —
30-day low: —
30-day high: —
Sales 7d: 0
Sales 30d: 0

No sales yet.

Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.

From Wikipedia

Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers. Standard ML is a modern dialect of ML, the 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, originally released in 1990, with a second and final revision being released in 1997.

Text: Wikipédia, CC BY-SA 4.0. ·