Product Description
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
Book Description
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. It provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language, including I/O, primitive types, support for internationalization, and a portable operating system interface.
