The Edinburgh SML Library

The Edinburgh SML Library (1991)

by Dave Berry

Citations:

9 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Edinburgh SML Library	user correction - Legacy Corrections
AUTHOR NAME	Dave Berry	SVM HeaderParse 0.1
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. : : : : : :...	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	10 found	ParsCit 1.0