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 ?
6 Bt 2 Urea 2x50 ml Kit 6 Kit 3 Cholesterol 2 x 25 ml Kit 3 Kit 4 Triglyceride 4 x 25 ml Kit 4 Kit 5 Billiorubin 50T+ 50T Kit 2 Kit 6 SGPT 6 x 10 ml Kit 2 Kit 7 SGOT 6 x 10ml Kit 2 Kit 8 Uric Acid 4 x 25 ml Kit 2 Kit 9 Creatinine 2x 50 ml Kit 2 Kit 10 Glucose 9x 50 ml Kit 4 Kit 11 Malaria test Card Each/Card 100 Cards
The algorithm is the result of several years of experiments with region inference algorithms in the ML Kit, a compiler from Standard ML to assembly language.
Region Inference has been developed for the typed call-by-value lambda calculus [Tofte and Talpin 1994; 1997] and it is used in the ML Kit with Regions [Tofte et al.
Tenders are invited for Supply of medicines:Rapid Mp Strip/Card 30 Card /Pkt ,Serum Creatinine 2 X 50 Ml Kit ,Tuberculin Ppd 5 Tu/0.
40238 Parastyphi A-B High Titrate Sera For Solmonella 5 Ml Kit
Tenders are invited for Reagent Kit For Cholesterol Chod/Pod Ls In 2 X 100 Ml Kit.
333-0100, zolpidem, 100 ml kit (100 ml ra and 70 ml re), immunalysis catalog no.
Tenders are invited for Serum Creatinine 2X100 Ml Kit
Tenders are invited for S Bilirubin Kit 1X2x150 Ml Kit R1 R2 R3
Tenders are invited for Biochemistry: Albumin,Bcg Mtd Liq Stable,Direct Linearity Or 7 G/Dl, 2X500 Ml Kits Should Mention Reagent Composition With Conc.
Tenders are invited for Biochemistry: Sgpt Lyophilised ,Kinetic,Ifcc Mtd,No P5p,Direct Linearity Or 400 U/L 50 Ml Kits Should Mention Reagent Composition With Conc.
Tenders are invited for Biochemistry Sgot Lyophilised ,Kinetic,Ifcc Mtd,No P5p,Direct Linearity More Or Equals To 400 U/L 50 Ml Kits Should Mention Reagent Composition With Conc.