Resources

Notation

Sequences

Tables and Sets

SML

Style Guide

Other

The 15-150 Tools page has very useful information regarding SML, $\LaTeX$, UNIX, and text editors.