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.
Price - £5.00Previous | Index | Next