[Korean]

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.

More About What and Why (in Korean)

컴퓨터 언어들의 결투: 누가누가 잘하나
과거 학생들의 nML에 대한 소감
값 중심의 프로그래밍
프로그래밍 교육에서 실습언어의 선택
지금의 정보기술을 보는 눈높이 I
지금의 정보기술을 보는 눈높이 II
제대로 디자인된 프로그래밍 언어의 장점
제대로 디자인된 프로그래밍 언어의 쓰임새
[마이크로소프트웨어] 연재기사 (2002/06 ~ 2002/10)
교수님, 뻥셔널이 뭡니까?
ML관련 원서들
ML을 학부 프로그래밍 과목의 실습언어로 쓰는 외국 유명 학교들: UC Berkeley, Stanford, MIT, CMU, Univ. of Illinois at Urbana-Champaign, Univ. of Pennsylvania, Cambridge, Edinburgh, Ecole Normale Superieure, Ecole Polytechnique, Univ. of Tokyo, Warsaw Univ., and etc.
SNU 4190.310(학부 프로그래밍 언어) 조교 페이지에 있는 nML자료.

What's New

2004/4/19. nML 0.92b available.
2002/3. nML 0.92a available.
2002/1. nML 0.92 available.

Downloading the nML Compiler System

Our current implementation consists of nML parser, typechecker, then nML-to-OCaml translator + the OCaml backend.
Current version 0.92b (2004/4/19)
- Source distribution of the nML compiler for Unix and Win32.
- Source distribution of the nML compiler for Unix and Win32 [UTF-8].
- Installer for MS Windows. See README
Older versions
CVS Repository

Definition & Manuals

nML syntax, dynamic semantics, and static semantics [ps/pdf]
Available libraries (version 0.92)
nML Primer [ps/pdf]

Question & Bug Report

Web BBS
Mailling list
- Mail to n@ropas.snu.ac.kr which is an nML mailing-list.
- In order to join the nML mailing-list, send a message containing 'subscribe' in body to n-request@ropas.snu.ac.kr. You will receive a confirmation mail then just can follow instructions in that mail.

nML Tools

nlex by Kwangkeun Yi (included in the nML compiler)
nyacc by Sunae Seo (included in the nML compiler)
vim syntax for nML by Hyunjun Eo
emacs mode for nML by Kwangkeun Yi
ndot & nmakegen by by Sukyoung Ryu
control flow analyzer by Sukyoung Ryu
exception analyzer by Sukyoung Ryu
MySQL API by Hyun-Goo Kang
OpenGL API by Ki-yung Ahn
nML parser by Jungtaek Kim
C parser by Sunae Seo
Java parser by Sunae Seo
XML Parser by Hyun-Goo Kang and Eun-Sun Cho
Verilog parser by Sang-Min Yoon
ntags by Daejun Park

Applications in nML

Airac Family: Static analyzers for detecting buffer overrun & memory leak errors in C programs
netPhone: Internet telephony system in nML by Bomshik Kim
Validating Model Checker by Hyunjun Eo
CloneChecker: A program similarity checker by Sungsoon Jang
LanTeX: A typesetting language for describing programming language syntax by Jaegyoon Hahm

Compiler Developers

Standard ML / OCaml

Research On Program Analysis System, SNU/KAIST