nML
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.
[ Homepage ]
| Author: | Woongsik Choi, Hyunjun Eo, Jungtaek Kim, and Oukseh Lee. |
| Last modification date: | 19-Sep-2002 |
| Version: | 0.92b |
| Development status: | Beta |
| Kind: | Applications written in Caml :: Scientific software |
| Topic: | Programming languages :: Compilers |
| Homepage: | http://ropas.kaist.ac.kr/n/ |