- nML is a dialect/harmony of Standard ML of New Jersey and Objective Caml.
- nML is a higher-order and typed programming language.
- nML does not stand against the C programming convention.

- nML compiler is a compiler of the nML language 
  using the Objective Caml compiler:
    nML parser + nML type-checker +
        nML-to-OCaml translator + the OCaml compiler.

WWW: http://ropas.snu.ac.kr/n