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
     
     
see also:
lt;ftp://ftp.diku.dk/diku/users/birkedal/gt;