[W/K] :: ML Kit

  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/).html">(ftp://ftp.diku.dk/diku/users/birkedal/).  UK: ftp
          export/ml/mlkit/ from lfcs.ed.ac.uk
       
          (1993-03-12)