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
随便看	local administration bureau local administrative order local administrator password solution local administrator processor local admission/rate controller local ad valorem tax reduction local ad valorem tax reduction fund local advanced gastric cancer local advanced programmable interrupt controller local advisory committee local advisory coordinating council local advisory council on alcoholism and drug abuse local aehf key management station local affection local agencies serving immigrants local agency check local agency formation commission local agency guidelines local agency investment fund local agency military base recovery act local agency security officer local agency structure representative local agency workers' compensation excess local aid coordination committee local aircraft