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 <tofte@diku.dk>, 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
References in periodicals archive ?
Te Lipo 7 kits comes in two sizes, a 30 ml kit which can last up to 15 weeks and a 10ml which can last up to 5 weeks if taken twice per week as instructed.
8 ml kit powder, gelatin swine and filled syringe cannulae rigid and flexible application.
Part 1 - successive supply of disposable kits to collect plasma for offered for lease separators, containers, empty and 1000 ml kits, needles drain, forming a distinct part kits aphereses kolekcyjnych and medicinal liquid anticoagulant ACD-A, together with the lease separators plasma in amount of 2 pieces;1.