Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
ML Kit
Jump to user comments
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.