Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Standard ML

Aliases: ML

Categories: Programming Languages

Author(s): Kevin Mitchell

A Functional Language where functions are first-class data objects (i.e., it is higher order); the language is interactive and statically scoped. Standard ML is strongly Typed Language with a polymorphic type system. Abstract data types are supported, together with a type-safe exception mechanism. Standard ML also has a modules facility to support the incremental construction of large programs.



Add Comment

No comments.