The Standard ML Basis Library

Provides a complete description of the modules, types and functions composing the Standard ML Basis Library.

Emden R. Gansner (Edited by), John H. Reppy (Edited by)

9780521794787, Cambridge University Press

Paperback, published 5 April 2004

484 pages, 37 tables
25.3 x 17.6 x 2.8 cm, 0.84 kg

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.

1. Introduction
2. Library modules
3. Top-level environment
4. General usages
5. Text
6. Numerics
7. Sequential data
8. Input/output
9. Systems programming
10. Sockets
11. Manual pages.

Subject Areas: Mathematical theory of computation [UYA]