nML

ML의 한국어 사투리

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.

특징

ML의 한국어 사투리

값 중심의 프로그래밍

관련 사이트

nML Programming Language System

(C) 1999-2004 ROPAS (Research On Program Analysis System) National Creative Research Initiatives Center 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.

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

̱ Kwangkeun Yi's homepage

Visiting Professor: Stanford Univ. (2017), Facebook London (2016),&Eacutecole Normale Sup&eacuterieure, Paris (2016), MIT (2012), MIT (2008), Carnegie Mellon Univ. (2008),&Eacutecole Normale Sup&eacuterieure, Paris (2002), Bell Labs(1998)

http://ropas.snu.ac.kr/~kwang/