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 <[email protected]>, and Lars Birkedal at Edinburgh and Copenhagen Universities. ftp://ftp.diku.dk/diku/users/birkedal/. UK: ftp export/ml/mlkit/ from lfcs.ed.ac.ukLast updated: 1993-03-12
Nearby terms:
ML-2000 ♦ MLAB ♦ ML/I ♦ MLISP ♦ ML Kit ♦ MLL ♦ ML-lex ♦ ML-Linda ♦ ML Threads
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
