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)

9780521791427, Cambridge University Press

Hardback, published 13 September 2004

484 pages, 37 tables
26 x 18.5 x 2.8 cm, 1.024 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]