References

1

L. Birkedal, N. Rothwell, M. Tofte, and D.N. Turner. The ML Kit. Technical Report 93/14, DIKU, University of Copenhagen, Denmark, 1993.

2

E. Gansner and J. Reppy. Standard ML Basis Library. Technical report, AT&T Bell Labs, 1996.

3

X. Leroy. The Zinc experiment: An economical implementation of the ML language. Rapport Technique 117, INRIA Rocquencourt, France, 1990. Available as
ftp://ftp.inria.fr/INRIA/Projects/cristal/Xavier.Leroy/economical-ML-implementation.ps.gz.

4

X. Leroy. The Caml Light system, release 0.6. Documentation and user's manual. INRIA, France, September 1993. Available at ftp://ftp.inria.fr/lang/caml-light.

5

D.B. MacQueen. Modules for Standard ML. In Proc. 1984 ACM Conf. on LISP and Functional Programming, pages 198-207. ACM Press, 1984.

6

R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990.

7

R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML, Revised 1996.

8

S. Romanenko and P. Sestoft. Moscow ML Language Overview, version 1.40, July 1996.