- 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.

- For more information of the nML, please visit
  WWW: http://ropas.kaist.ac.kr/n

- Jaeho Shin
netj@ropas.kaist.ac.kr