nML Programming Language System

nML is a higher-order and typed programming language, and
a dialect / harmony of Standard ML and
Objective Caml.
The nML compiler system drives the static
analysis technologies to the limit, and it
will
embody the results of the LET project.