Libraries provide the vocabulary with which a language can be used to say something about something.
Without a broad common vocabulary, a language community cannot prosper as it might. The SML language, with its clean lines and secure foundation, has much to recommend it, and has acquired a healthy user community. Chapters 1 and 2 provide an overview of the proposed library at the level of modules and top-level identifiers. Here we also present the principles and conventions that guided the design of the library. The remaining chapters provide fairly detailed manual pages describing the signatures, structures and functors specified by the library, and their semantics.