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)

Tagged:

Read Also:

  • Mll

    Medium-Level Language. Sometimes used half-jokingly to describe C, alluding to its “structured-assembler” image. (1994-12-07)

  • Mlle

    1. . noun (pl) Mlles 1. the French equivalent of Miss Mademoiselle



  • Mlles

    1. . Mesdemoiselles

  • Ml-lex

    A version of lex in SML/NJ which outputs a lexical analyser in SML/NJ. (ftp://research.att.com/dist/ml/75.tools.tar.Z).



Disclaimer: Ml kit definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.