The Standard ML Basis Library
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.
- Reflects the most recent changes to the SML language
- Provides both concise, manual-page-style specifications and more extensive descriptions including design rationales and tutorial material
Product details
September 2004Hardback
9780521791427
484 pages
260 × 185 × 28 mm
1.024kg
37 tables
Available
Table of Contents
- 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.