| slovo | definícia |
ml kit
(foldoc) | 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 ,
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
(1993-03-12)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4