The Edinburgh SML Library

Dave Berry

Abstract: The Edinburgh Standard ML Library provides more
than 200 functions on a range of types. It is written in portable
Standard ML. Optimised versions exist for Standard ML of New
Jersey, Poly/ML and Poplog ML. The library provides a consistent
framework into which new entries can be incorporated easily.

This report describes the basic framework fo the library, and
gives detailed documentation of all the currrent entries. It also
gives some advice on how to write new entries.