Found 1 hit - Term: ml kit, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
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;
Dictionary of Words and Phrases online did not found adittional definition or meaning about ml kit. Last accessed:2008/09/06 22:43:23 [Total processing time: 2 seconds] |