ML /자/료/
-
The Little MLer,
MIT Press, 1998
M. Felleisen and
D. Friedman
-
The Definition of Standard ML - Revised,
MIT Press, 1997
R. Milner,
M. Tofte,
R. Harper,
D. MacQueen
-
Commentary on Standard ML,
MIT Press, 1991
R. Milner,
M. Tofte
-
Modern Compiler Implementation in ML
Cambridge University Press, 1997
A. Appel
-
ML for the Working Programmer(2nd edition),
Cambridge University Press,1996
L. C. Paulson
-
Elements of ML Programming (2nd edition),
Prentice-Hall, 1994
J. Ullman
- Abstract Data Types in Standard ML,
John Wiley & Sons, 1993
R. Harrison.
프린트물
컴파일러
-
SML/NJ
(mirror of SML/NJ)
local ftp mirror
가장대표적이고 널리 쓰이는 SML 최적화 컴파일러/라이브러리/도구모음.
SML 자체로 구성됨.
-
CAML
(mirror of CAML)
프랑스 버젼. C로 구성됨. SML/NJ와 성능 겨루기 가능. C 환경과 비슷한
사용 인터페이스가 제공됨. 메모리 사용이 SML/NJ보다 훨씬 적음. Standard
ML이 아니고 프랑스 사투리.
-
Moscow ML
ML 관련 프로젝트들
그외
Kwangkeun Yi