BibTeX
@MISC{Berry91theedinburgh,
author = {Dave Berry},
title = {The Edinburgh SML Library},
year = {1991}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 of the library, and gives detailed documentation of all the current entries. It also gives some advice on how to write new entries. Contents 1 Introduction. 3 2 Installing the Library. 4 2.1 Distribution. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 Installation. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.3 Building The Library. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.4 Choice of Build File. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 3 Using the Library. 6 3.1 Getting Started. : : : : : :...
