ML Kit

The ML Kit is a straight translation of the Definition ofStandard ML into a collection of Standard ML modules. Forexample, every inference rule in the Definition is translatedinto a small piece of Standard ML code which implements it.The translation has been done with as little originality aspossible - even variable conventions from the Definition arecarried straight over to the Kit. The Kit is intended as atool box for those people in the programming languagecommunity who may want a self-contained parser or type checkerfor full Standard ML but do not want to understand the cleverbits of a high-performance compiler. We have tried to writesimple 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: ftpexport/ml/mlkit/ from lfcs.ed.ac.uk

单词	ml kit
释义	ML Kit ML Kit The ML Kit is a straight translation of the Definition ofStandard ML into a collection of Standard ML modules. Forexample, every inference rule in the Definition is translatedinto a small piece of Standard ML code which implements it.The translation has been done with as little originality aspossible - even variable conventions from the Definition arecarried straight over to the Kit. The Kit is intended as atool box for those people in the programming languagecommunity who may want a self-contained parser or type checkerfor full Standard ML but do not want to understand the cleverbits of a high-performance compiler. We have tried to writesimple 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: ftpexport/ml/mlkit/ from lfcs.ed.ac.uk
随便看	quires quirghyzia quirigua quirigua, guatemala quiriguá quiriguá, guatemala quirinal quirinales quirinal hill quirinalia quiring quirino, elpidio quirino memorial medical center quirino state university quirinus quiris quirister quiritation quirite quirites quirk quirk bead quirk bead molding quirked quirked bead