Next
Previous
Contents
- MLton was developed in Standard ML,
using
Standard ML of New Jersey
and the
Compilation Manager (CM).
- The lexer (
src/frontend/ml.lex
),
parser (src/frontend/ml.grm
),
and precedence-parser (src/elaborate/precedence-parse.fun
)
are modified versions of code from the SML/NJ.
- The MLton basis library implementation uses (modified versions of)
the the SML/NJ basis library modules
Real
, IO
,
Timer
, Unix
, Process
, and Option
.
- MLton uses the SML/NJ library implementations of splay trees, hash
tables, and random number generation.
- The MLton basis library implementation uses (modified versions of)
the
ML Kit
basis library modules
Real
, Path
, Time
, and
Date
.
- MLton uses the
GNU multiprecision library
for its implementation of
IntInf
.
- Henry Cejtin
(henry@clairv.com)
wrote the
gmp
interface and mlprof
.
- This document was produced with
SGMLtools.
Next
Previous
Contents