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.

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.