Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


The Standard ML Basis Library

The Standard ML Basis Library

The Standard ML Basis Library

Emden R. Gansner , AT&T Bell Laboratories, New Jersey
John H. Reppy , University of Chicago
October 2004
Paperback
9780521794787

Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.

    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

    June 2006
    Adobe eBook Reader
    9780511192197
    0 pages
    0kg
    37 tables
    This ISBN is for an eBook version which is distributed on our behalf by a third party.

    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.
      Editors
    • Emden R. Gansner , AT&T Bell Laboratories, New Jersey

      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 , University of Chicago

      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.