The Free On-line Dictionary of Computing (30 December 2018):

ML Kit

   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.

   Version 1

   interpreter, documentation

   Nick Rothwell, David N. Turner, Mads Tofte ,
   and Lars Birkedal at Edinburgh and Copenhagen Universities.

   (ftp://ftp.diku.dk/diku/users/birkedal/).  UK: ftp
   export/ml/mlkit/ from lfcs.ed.ac.uk

   (1993-03-12)