Catalogue of Artificial Intelligence Techniques
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.
- Paulson, L., ML for the Working Programmer, Cambridge University Press, 1991.