The ML Kit is a straight translation of the Definition of

Standard ML into a collection of Standard ML modules. For

example, every inference rule in the Definition is translated

into a small piece of Standard ML code which implements it.

The translation has been done with as little originality as

possible - even variable conventions from the Definition are

carried straight over to the Kit. The Kit is intended as a

tool box for those people in the programming language

community who may want a self-contained parser or type checker

for full Standard ML but do not want to understand the clever

bits of a high-performance compiler. We have tried to write

simple code and modular interfaces.