The Standard ML Basis Library

Erscheinungsjahr 2004
ISBN: 978-0-521-79478-7
Verlag: Cambridge University Press

Buch, Englisch, 484 Seiten, Format (B × H): 178 mm x 254 mm, Gewicht: 902 g

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.

Autoren/Hrsg.

Gansner, Emden R.

Reppy, John H.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung

Inhaltsverzeichnis

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.

Über Autor(innen)

Reppy, John H.
John H. Reppy is an Associate Professor of Computer Science at University of Chicago. He is also Associate Editor of ACM TOPLAS and author of Concurrent Programming in ML also published by Cambridge University Press.

Gansner, Emden R.
Emden R. Gansner is Principal Technical Staff Member of AT&T Laboratories. Having taught at several prestigious universities, he is currently an adjunct Professor of Computer Science at Stevens Institute of Technology. He has published articles in numerous journals, such as J. Combinatorial Theory, Discrete Mathematics and SIAM J. Algorithms and Discrete Methods. He also jointly received a patent on a technique for drawing directed graphs.