ML Kit
The ML Kit i S a Straight tran Slation of the Definition of Standard ML into a collection of Standard ML module S. For example, every inference rule in the Definition i S tran Slated into a Small piece of Standard ML code which implement S it. The tran Slation ha S been done with a S little originality a S po SSible - even variable convention S from the Definition are carried Straight over to the Kit. The Kit i S intended a S a tool box for tho Se people in the programming language community who may want a Self-contained par Ser or type checker for full Standard ML but do not want to under Stand the clever bit S of a high-performance compiler. We have tried to write Simple code and modular interface S. Ver Sion 1 interpreter, documentation Nick Rothwell, David N. Turner, Mad S Tofte , and LarS Birkedal at Edinburgh and Copenhagen UniverSitieS. . UK: ftp export/ml/mlkit/ from lfcS.ed.ac.uk (1993-03-12) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ @ ] [ ad ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ aS ] [ at ] [ av ] [ B ] [ b ] [ be ] [ bi ] [ bit ] [ bo ] [ box ] [ C ] [ ca ] [ ch ] [ ck ] [ cl ] [ co ] [ code ] [ com ] [ compiler ] [ con ] [ cu ] [ D ] [ de ] [ dk ] [ do ] [ doc ] [ document ] [ documentation ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ er ] [ eS ] [ et ] [ fi ] [ fo ] [ for ] [ fr ] [ ge ] [ gen ] [ gh ] [ gi ] [ gr ] [ gu ] [ h ] [ hoSe ] [ hr ] [ ht ] [ id ] [ ie ] [ il ] [ in ] [ inference ] [ inference rule ] [ int ] [ interface ] [ interpreter ] [ io ] [ ir ] [ iS ] [ it ] [ K ] [ ke ] [ ki ] [ kit ] [ la ] [ language ] [ li ] [ lk ] [ M ] [ ma ] [ mall ] [ man ] [ ML ] [ ml ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ mu ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ nS ] [ om ] [ op ] [ open ] [ pa ] [ parSer ] [ pe ] [ perf ] [ pl ] [ port ] [ pr ] [ program ] [ programming ] [ programming language ] [ re ] [ rete ] [ ro ] [ ru ] [ S ] [ Se ] [ Si ] [ Sit ] [ Sl ] [ Sm ] [ St ] [ T ] [ th ] [ to ] [ tool ] [ tp ] [ tr ] [ tt ] [ type ] [ ua ] [ uk ] [ um ] [ uS ] [ uSer ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ vi ] [ write ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5224 Reads) |
