- STAFF PICKS
- GIFTS + GIFT CARDS
- SELL BOOKS
- FIND A STORE
New Trade Paper
Currently out of stock.
available for shipping or prepaid pickup only
The Standard ML Basis Libraryby Emden R. Gansner
Synopses & Reviews
This volume describes the Standard ML (SML) Basis Library, the standard library for the SML Language. For programmers using SML, it provides a complete description of the library's modules, types and functions, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, offering manual pages with concise descriptions. In addition, the chapters present the principles and rationales used in designing the library, and relates these to idioms and examples for using it. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface.
Book News Annotation:
Gansner (AT&T Laboratories) and Reppy (U. of Chicago) present a reference manual on the Standard ML (SML) Basis Library--the standard library for the SML language--describing as clearly and completely as possible the types, values, and modules making up the Library. Coverage includes an overview of the Library, its structure and conventions; a tour of the main areas covered by the Library, providing programming tips, idioms, and examples aimed at Library users; and a set of manual pages defining the signatures and structures comprising the Library. Indexed by general topic, by the identifiers used in the Library, and by the Library's exceptions. For students, professional programmers, and language designers.
Annotation ©2004 Book News, Inc., Portland, OR (booknews.com)
This work provides a complete description of the modules, types and functions composing the Standard ML Basis Library.
Provides a complete description of the modules, types and functions composing 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.
About the Author
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.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.
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.
What Our Readers Are Saying
Other books you might like
Computers and Internet » Computer Languages » ML