Standard ML (SML) is a programming language that combines excellent support for rapid prototyping, modularity, and development of large programs, with performance approaching that of C.

SML Resources

• Tutorials

• Books

• Implementations

Aspects of SML

• DefineTypeBeforeUse

• EqualityType

• EqualityTypeVariable

• GenerativeDatatype

• GenerativeException

• OperatorPrecedence

• Overloading

• PolymorphicEquality

• ValueRestriction

Using SML

• ForLoops

• FunctionalRecordUpdate

• InfixingOperators

• Lazy

• ObjectOrientedProgramming

• OptionalArguments

• Printf

• PropertyList

• Serialization

• StyleGuide

• UniversalType

Programming in SML

• Emacs

• Enscript

Notes

• History of SML

• Regions

Related Languages

• Alice

• OCaml