nML is a dialect/harmony of Standard ML and OCaml. 
nML is a higher-order and typed programming language. 
nML compiler system drives the static analysis technologies to the limit. 
nML compiler system will embody the result(s) of the LET project. 
nML does not stand against the C programming convention. 

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

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