ML Resources
MIPS and SPIM

ML Resources

• The book for the course is Modern Compiler Implementation in ML by Andrew Appel.
• You should be able to order the book from bigwords.com.
• Note that Appel has a number of versions of the book (for ML, Java, and C) and multiple editions. Just about any version of the book will be okay, but obviously you're better off with the ML version for this course.

• Standard ML of New Jersey home page.
• Guide to the Standard ML Basis Library.
• The SML/NJ site has a number of useful online tutorials.
• There is a draft of Robert Harper's Programming in Standard ML available for download.
• Riccardo Pucella also has a nice set of Notes on Programming SML/NJ.
• There is a good FAQ at Cornell that can help you get started with SML/NJ; you will also find Some Thoughts on Debugging.
• Documentation for ML-Lex
• Documentation for ML-Yacc

• Moscow ML
• MLton

• Elements of ML Programming by Jeffrey D. Ullman.
• ML for the Working Programmer by Larry C. Paulson

If you are using the nice servers, you will need to set your environment to use our version of SML/NJ. The version of SML/NJ installed on the nice servers is much older, and some programs may not be compatible. To setup your environment place the following at the beginning of your .cshrc file:

 setenv SMLNJ_HOME ~lib153
 setenv PREPATH ~lib153/bin

# sml
Standard ML of New Jersey v110.49 [FLINT v1.5], September 13, 2004
- 

Setting up SML for use in Xcode

Stefan Wernli provided the following configuration files and readme for setting up Xcode on Macs to get syntax hilighting. You can download the zip file.

Setting up SML with Emacs

On the nice servers, you can setup the emacs SML mode by inserting the following lines into your .emacs file.

(setq load-path (cons "~lib153/lib/emacs" load-path))
(autoload 'sml-mode "sml-mode" "Major mode for editing SML." t)
(setq auto-mode-alist
      (append '(("\\.sml$" . sml-mode) 
                ("\\.sig$" . sml-mode)) auto-mode-alist))

After reloading emacs, the SML mode will automatically load when you open a .sml or .sig file. You can also enter the SML mode by typing "M-x sml-mode" in the emacs commands buffer.

You can find more information on the SML emacs mode at: SML mode for Emacs . There are a number of versions of the sml-mode lying around, but they all more or less work the same, so it shouldn't matter which one you use.