CS 541 Lecture -*- Outline -*- for standard-ML lecture 1 * introduction lecture 1-2 * built-in-types lecture 2-3 * data-driven-recursion lecture 4-5 * concrete-data lecture 5 * naming lecture 6-7 * closures-functionals lecture 7 * quiz see also material in ../types/sml-type-inference.txt