Words starting with mltwi
Maybe these words will be useful:
- mln — Million.
- 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 <[email protected]>, and Lars Birkedal at Edinburgh and Copenhagen Universities.
- ml threads — SML/NJ with mutual exclusion primitives similar to those in Modula-2+ and Mesa. Written by Greg Morrisett <[email protected]>. Implementations for Motorola 68020, SPARC and MIPS and VAX- and MIPS-based multiprocessors.
- ml-2000 — An extension and redesign of Standard ML. Under development.
- ml-linda — U Edinburgh, under development.
- ml-twig — A variant of TWIG in SML, by Jussi Rintanen <[email protected]>, which comes with SML/NJ.
- ml-lex — A version of lex in SML/NJ which outputs a lexical analyser in SML/NJ.
- mlab — Modeling LABoratory. An interactive mathematical modelling system.