ML /자/료/

Standard ML, OCaml

도서

• 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.

프린트물

• KAIST's CS420 (컴파일러 디자인) Standard ML notes
• KAIST's Standard ML 프로그래밍 소개
• CMU's Introduction to SML
• Stanford's CS109 (Foundations of Computer Science) notes on Standard ML
• A Gentle Introduction to ML (mirrored in Canada)

컴파일러

• 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 관련 프로젝트들

• KAIST's Let Project
• Bell-Labs's Project links
• Princeton's Project links
• 과연쓸만한가

KAIST SML/NJ Exception Analyzer

그외

• ML page at Lycos
• 문답집
• SML 자료 @ Bell Labs. (most well-organized)
• SML 자료 @ CMU
• Emacs mode for editing/running SML
• Newsgroup