CMSC 22610
Implementation of Computer Languages - I
Winter 2009

Resources

Standard ML

• Implementations
  • Standard ML of New Jersey (SML/NJ) — used for course project
  • MLton
  • MLKit
  • PolyML
• Books
  • ML for the Working Programmer, Lawrence Paulson
  • Elements of ML Programming, Jeffrey Ullman
  • The Definition of Standard ML (Revised), Robin Milner, Mads Tofte, Robert Harper, and David MacQueen — not for the faint of heart!
• Tutorials
  • Standard ML Tutorial — slides from class
  • Programming in Standard ML, Bob Harper
  • Notes on Programming SML/NJ, Riccardo Pucella
  • A Gentle Introduction to ML, Andrew Cumming
  • Programming in Standard ML '97: An On-line Tutorial, Stephen Gilmore
• Libraries
  • Standard ML Basis Library — use $/basis.cm in CM files
  • SML/NJ Library — use $/smlnj-lib.cm in CM files
• Tools
  • ml-ulex and ml-antlr: (pdf) — use $/ml-lpt-lib.cm in CM files
  • ml-lex: (pdf)  (html)
  • ml-yacc: (pdf)  (html) — use $/ml-yacc-lib.cm in CM files
  • Compilation Manager (CM): (pdf)
• Coding standards
  • Style Guide — these are useful (and common) conventions among SML programmers, but the are not required for submitted code

Subversion

• Subversion home page
• Official documentation